Volume 4 Number 1 (Feb. 2009)
Home > Archive > 2009 > Volume 4 Number 1 (Feb. 2009) >
JSW 2009 Vol.4(1): 34-41 ISSN: 1796-217X
doi: 10.4304/jsw.4.1.34-41

Real Time Process Algebra with Urgency Executing Policy

Wenbo Chen1, Guang Zheng1, 3, Lian Li1, and Jinzhao Wu2

1School of Information Science and Engineering, Lanzhou University, Lanzhou, China 730000
22School of Computer and Information Technology, Beijing Jiaotong University, Beijing, China, 100044
33Chengdu 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.

General Information

ISSN: 1796-217X (Online)
Frequency:  Quarterly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, CNKIGoogle Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsweditorialoffice@gmail.com
  • Mar 01, 2024 News!

    Vol 19, No 1 has been published with online version    [Click]

  • Apr 26, 2021 News!

    Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec)     [Click]

  • Nov 18, 2021 News!

    Papers published in JSW Vol 16, No 1- Vol 16, No 6 have been indexed by DBLP   [Click]

  • Jan 04, 2024 News!

    JSW will adopt Article-by-Article Work Flow

  • Nov 02, 2023 News!

    Vol 18, No 4 has been published with online version   [Click]