Skip to main content
SpringerLink
Log in

Real time process algebra

  • Published:
Formal Aspects of Computing

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Bacten, J. C. M. and Bergstra, J. A.: Real Space Process Algebra, report P9005, Programming Research Group, University of Amsterdam 1990.

  2. 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. Bergstra, J. A. and Klop, J. W.: Process Algebra for Synchronous Communication.Inf. Control,60, 109–137 (1984).

    Google Scholar 

  4. 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. Davies, J. and Schneider, S.: An Introduction to Timed CSP, report PRG-75, Oxford University Computing Laboratory, Oxford, 1989.

    Google Scholar 

  6. 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.

  7. 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.

  8. 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. 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. 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. 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. Milner, R.:A Calculus of Communicating Systems, Springer LNCS 92, 1980.

  13. 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.

  14. 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).

  15. Reed, G. M.: A Hierarchy of Domains for Real-Time Distributed Computing. In:Proc. MFPLS '89 (to appear).

  16. Reed, G. M. and Roscoe, A. W.: A Timed Model for Communicating Sequential Processes.Theor. Comp. Sci.,58, 249–261 (1988).

    Google Scholar 

  17. Reed, G. M. and Roscoe, A. W.: Metric Spaces as Models for Real-Time Concurrency. In:Proc. MFPLS '87, Springer LNCS 298, 1988.

  18. Tanenbaum, A. S.:Computer Networks, Prentice Hall International, 1981.

  19. Vaandrager, F. W.: Algebraic Techniques for Concurrency and their Application, Ph.D. Thesis, University of Amsterdam 1990.

  20. 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 

Download references

Author information

Authors and Affiliations

  1. Department of Software Technology, CWI, 1009, AB Amsterdam, The Netherlands

    J. C. M. Baeten

  2. Programming Research Group, University of Amsterdam, 1009, DB Amsterdam

    J. A. Bergstra

  3. Department of Philosophy, Utrecht University, Heidelberglaan 2, 3584, CS Utrecht, The Netherlands

    J. A. Bergstra

Authors
  1. J. C. M. Baeten
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. A. Bergstra
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Baeten, J.C.M., Bergstra, J.A. Real time process algebra. Formal Aspects of Computing 3, 142–188 (1991). https://doi.org/10.1007/BF01898401

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01898401

Keywords

Search

Navigation