¹School of Information Science and Engineering, Lanzhou University, Lanzhou, China 730000
²2School of Computer and Information Technology, Beijing Jiaotong University, Beijing, China, 100044
³3Chengdu Institute of Computer Applications Chinese Academy of Sciences, Chengdu, China, 610054

---

Abstract—Real time systems have a natural executing policy of urgency. However, real time process algebras of nowadays cannot specify this basic executing policy which limits their expressiveness. There is only one default policy called “maximal progress” in process algebras which is not enough to specify the behaviors of real time systems. Based on this, we propose a real time process algebra with urgency executing policy which can specify the behaviors of real time systems.

Index Terms—process algebra, executing policy, real time, urgency.

[PDF]

Cite: Wenbo Chen, Guang Zheng, Lian Li1, and Jinzhao Wu, "Real Time Process Algebra with Urgency Executing Policy," Journal of Software vol. 4, no. 1, pp. 34-41, 2009.