Process Algebra with Chaos Executing Policy for Unhealthy Systems
Guang Zheng, Lian Li, Wenbo Chen, Anping He, Jinzhao Wu · Journal of Computers · 2009
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.