Departmental Papers (CIS)

Date of this Version


Document Type

Conference Paper


Postprint version. Published in Formal Techniques for Networked and Distributed Systems: FORTE 2001: IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, IFIP Volume 69, 2001. Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee (Eds.)


This paper describes three real-time process algebras, ACSR, PACSR and ACSR-VP. ACSR is a resource-bound real-time process that supports synchronous timed actions and asynchronous instantaneous events as well as the notions of resource, priority, exception, and interrupt. PACSR is a probabilistic extension of ACSR with resources that can fail and associated failure probabilities. ACSR-VP extends ACSR with value passing between processes and parameterized process definitions. This paper also provides three simple real-time system examples to illustrate the expressive power and analysis technique of each process algebra.


Real-time process algebra, probablistic process algebra, value-passing process algebra, schedulability analysis, real-time systems, resource-bound process algebra



Date Posted: 10 March 2005

This document has been peer reviewed.