¹School of Information Science and Engineering, Lanzhou University, Lanzhou 730000, China
²School of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China

---

Abstract—Healthy systems are important for us, but unhealthy systems exist everywhere. Healthy systems behave the manner they are designed, but not the unhealthy ones. It is a meaningful thing for us to turn an unhealthy system into a healthy one. We propose a process algebra with chaos executing policy to specify the behavior of unhealthy systems. For unhealthy systems, we also propose the equivalent relationships which are vital for the cure of them.

Index Terms—Process algebra, chaos, executing policy, equivalent relation.

[PDF]

Cite: Guang Zheng, Lian Li, Wenbo Chen, Anping He, Jinzhao Wu, "Process Algebra with Chaos Executing Policy for Unhealthy Systems," Journal of Computers vol. 4, no. 1, pp. 86-93, 2009.