Advertisement

A linear time process algebra

  • Alan JeffreyEmail author
Session 14: Timed Specification and Verification 2
Part of the Lecture Notes in Computer Science book series (LNCS, volume 575)

Abstract

This paper presents a variant of Milner's Calculus for Communicating Systems enriched with a notion of time. Time here is considered to be a totally ordered monoid rather than a particular numerical domain. A set of laws for the algebra are presented, as well as a transition system semantics. The laws are then shown to be consistent and complete.

Keywords

Normal Form Transition System Time Determinacy Expansion Theorem Complete Axiomatization 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. [BB91]
    J. C. M. Baeten and J. A. Bergstra. Heal time process algebra. Formal Aspects Comp. Sci., 3:142–188, 1991.Google Scholar
  2. [BW90]
    J. C. M. Baeten and W. P. Weijland. Process Algebra. Cambridge University Press, 1990.Google Scholar
  3. [Hoa85]
    C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.Google Scholar
  4. [HR90]
    M. Hennessy and T. Regan. A temporal process algebra. Technical Report 2/90, CSAI, University of Sussex, 1990.Google Scholar
  5. [Jef91]
    Alan Jeffrey. Observation Spaces and Timed Processes. D. Phil. thesis, Oxford University, 1991.Google Scholar
  6. [Mil80]
    Robin Milner. A Calculus of Communicating Systems. Springer-Verlag, 1980. LNCS 92.Google Scholar
  7. [Mil89]
    Robin Milner. Communication and Concurrency. Prentice-Hall, 1989.Google Scholar
  8. [MT90]
    F. Moller and C. Tofts. A temporal calculus of communicating systems. In Proc. Concur 90, pages 401–415. Springer-Verlag, 1990. LNCS 458.Google Scholar
  9. [NS90]
    X. Nicollin and J. Sifakis. The algebra of timed processes ATP: Theory and application. Technical Report RT-C26, Laboratoire de Génie Informatique de Grenoble, 1990.Google Scholar
  10. [Plo81]
    Gordon Plotkin. A structural approach to operational semantics. Technical Report DAIMI-FN-19, Computer Science Dept., århus University, 1981.Google Scholar
  11. [RR86]
    G. M. Reed and A. W. Roscoe. A timed model for communicating sequential processes. In Proc. ICALP 86, pages 314–323. Springer-Verlag, 1986. LNCS 226.Google Scholar
  12. [Wan90]
    Wang Yi. Real-time behaviour of asynchronous agents. In Proc. Concur 90, pages 502–520. Springer-Verlag, 1990. LNCS 458.Google Scholar
  13. [Wan91]
    Wang Yi. CCS+time=an interleaving model for real time systems. In J. Leach Albert, B. Monien, and M. Rodríguez, editors, Proc. ICALP 91, pages 217–228. Springer-Verlag, 1991. LNCS 510.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  1. 1.Department of Computer SciencesGöteborgSweden

Personalised recommendations