Formal Aspects of Computing

, Volume 3, Issue 2, pp 142–188 | Cite as

Real time process algebra

  • J. C. M. Baeten
  • J. A. Bergstra


We describe an axiom system ACP p that incorporates real timed actions. Many examples are provided in order to explain the intuitive contents of the notation. ACP p is a generalisation of ACP. This implies that some of the axioms have to be relaxed and that ACP can be recovered as a special case from it. The purpose of ACP p is to serve as a specification language for real time systems. The axioms of ACP p explain its operational meaning in an algebraic form.


Real time Process algebra ACP 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BaB90]
    Bacten, J. C. M. and Bergstra, J. A.: Real Space Process Algebra, report P9005, Programming Research Group, University of Amsterdam 1990.Google Scholar
  2. [BBK87]
    Baeten, J. C. M., Bergstra, J. A. and Klop, J. W.: On the Consistency of Koomen's Fair Abstraction Rule.Theor. Comp. Sci.,51, 129–176 (1987).Google Scholar
  3. [BeK84]
    Bergstra, J. A. and Klop, J. W.: Process Algebra for Synchronous Communication.Inf. Control,60, 109–137 (1984).Google Scholar
  4. [BeK86]
    Bergstra, J. A. and Klop, J. W.: Process Algebra: Specification and Verification in Bisimulation Semantics. In:Mathematics and Computer Science II, M. Hazewinkel, J. K. Lenstra and L. G. L. T. Meertens (eds), CWI Monographs 4, North-Holland, Amsterdam 1986, pp. 61–94.Google Scholar
  5. [DaS89]
    Davies, J. and Schneider, S.: An Introduction to Timed CSP, report PRG-75, Oxford University Computing Laboratory, Oxford, 1989.Google Scholar
  6. [GeB87]
    Gerth, R. and Boucher, A.: A Timed Failures Model for Extended Communicating Processes. In:Proc. 14th ICALP, Karlsruhe, Th. Ottmann (ed.), pp. 95–114, Springer LNCS 267, 1987.Google Scholar
  7. [GlV87]
    Glabbeek, R. J. van and Vaandrager, F. W.: Petri Net Models for Algebraic Theories of Concurrency (Extended Abstract).Proc. PARLE Vol. II, J. W. de Bakker, A. J. Nijman and P. C. Treleaven, (eds), Springer LNCS 259, 1987, pp. 224–242.Google Scholar
  8. [Gro89]
    Groote, J. F.: Transition System Specifications with Negative Premises, report CS-R8950, CWI, Amsterdam 1989; Extended Abstract. In:Proc. CONCUR 90, Amsterdam, J. C. M. Baeten and J. W. Klop (eds), pp. 332–341, Springer LNCS 458, 1990.Google Scholar
  9. [Gro90]
    Groote, J. F.: Specification and Verification of Real Time Systems in ACP, report CS-R9015, CWI, Amsterdam 1990. In:Proc. 10th Int. IFIP Symp. on Protocol Specification, Testing and Verification, Ottawa 1990 (to appear).Google Scholar
  10. [JaM86]
    Jahanian, F. and Mok, A.: Safety Analysis of Timing Properties in Real-Time Systems.IEEE Transactions on Software Engineering,12, 890–904 (1986).Google Scholar
  11. [KSR88]
    Koymans, R., Shyamasundar, R. K., Roever, W. P. de, Gerth, R. and Arun-Kumar, S.: Compositional Semantics for Real-Time Distributed Computing.Inf. Comp.,79, 210–256 (1988).Google Scholar
  12. [Mil80]
    Milner, R.:A Calculus of Communicating Systems, Springer LNCS 92, 1980.Google Scholar
  13. [MoT90]
    Moller, F. and Tofts, C: A Temporal Calculus of Communicating Systems. In:Proc. CONCUR 90, Amsterdam, J. C. M. Baeten and J. W. Klop (eds), pp. 401–415, Springer LNCS 458, 1990.Google Scholar
  14. [NRS90]
    Nicollin, X., Richier, J.-L., Sifakis, J. and Voiron, J.: ATP: an Algebra for Timed Processes, report RT-C16, Project Spectre, IMAG, 1990. In:Proc. IFIP Conf. Progr. Concepts and Methods, Sea of Gallilee 1990 (to appear).Google Scholar
  15. [Ree89]
    Reed, G. M.: A Hierarchy of Domains for Real-Time Distributed Computing. In:Proc. MFPLS '89 (to appear).Google Scholar
  16. [ReR86]
    Reed, G. M. and Roscoe, A. W.: A Timed Model for Communicating Sequential Processes.Theor. Comp. Sci.,58, 249–261 (1988).Google Scholar
  17. [ReR87]
    Reed, G. M. and Roscoe, A. W.: Metric Spaces as Models for Real-Time Concurrency. In:Proc. MFPLS '87, Springer LNCS 298, 1988.Google Scholar
  18. [Tan81]
    Tanenbaum, A. S.:Computer Networks, Prentice Hall International, 1981.Google Scholar
  19. [Vaa90]
    Vaandrager, F. W.: Algebraic Techniques for Concurrency and their Application, Ph.D. Thesis, University of Amsterdam 1990.Google Scholar
  20. [ZwL87]
    Zwarico, A. and Lee, I.: A Syntax and Semantics for Deterministic Real-Time Computing, Technical report, Dept. of Comp. & Inf. Sci., University of Pennsylvania, Philadelphia, 1987.Google Scholar

Copyright information

© BCS 1991

Authors and Affiliations

  • J. C. M. Baeten
    • 1
  • J. A. Bergstra
    • 2
    • 3
  1. 1.Department of Software TechnologyCWIAB AmsterdamThe Netherlands
  2. 2.Programming Research GroupUniversity of AmsterdamDB Amsterdam
  3. 3.Department of PhilosophyUtrecht UniversityCS UtrechtThe Netherlands

Personalised recommendations