Abstract
In this paper, we introduce a calculus of communicating systems which allows for the expression and analysis of timing constraints, for example as is important for real-time processes. We present the language, along with its formal semantics, and derive algebraic laws for reasoning about processes in the language. Though the core language is simple, we show that the language has several powerful derived operators which we demonstrate to be useful in several examples.
Research supported by ESPRIT BRA Grant No. 3006 — CONCUR
Preview
Unable to display preview. Download preview PDF.
Bibliography
Baeten, J.C.M., J.A. Bergstra, “Real Time Process Algebra”, Preliminary Draft, 10/20/89, 1989.
Castellani, I., M. Hennessy, “Distributed Bisimulation”, University of Sussex, Department of Computer Science Report No. 5/87, July 1987.
Dirac, P.A.M., Principles of Quantum Mechnics, 4th Edition, Oxford, 1958.
Groote, J.F., “Specification and Verification of Real Time Systems in ACP”, preprint of the Centre for Mathematics and Computer Science, 1990.
Jeffrey, A., “Synchronous CSP”, Oxford University, to appear.
Koymans, R., J. Vytopil, W.P. de Roever, “Real-Time and Asynchronous Message Passing, Technical Report RUU-CS-83-9, University of Eindhoven, 1983.
Milner, R., A Calculus of Communicating Systems, Lecture Notes in Computer Science 92, Springer-Verlag, 1980.
Milner, R., Communication and concurrency, Prentice-Hall International, 1989.
Moller, F., C. Tofts, “A Temporal Calculus of Communicating Systems”, University of Edinburgh Report No. LFCS-89-104, 1989.
Park, D.M.R., “Concurrency and Automata on Infinite Sequences”, Proceedings of the 5th G.I. Conference, Lecture Notes in Computer Science 104, Springer-Verlag, 1981.
Plotkin, G.D., “A Structured Approach to Operational Semantics”, DAIMI FN-19, Computer Science Department, Aarhus University, 1981.
Reed, G.M., A.W. Roscoe, “A Timed Model for CSP, Proceedings ICALP '86, Lecture Notes in Computer Science 226, 1986.
Schiff, L.I., Quantum Mechnics, 3rd Edition, McGraw-Hill, 1982.
Tofts, C., “Temporal Ordering for Concurrency, University of Edinburgh Report No. LFCS-88-49, 1988.
Tofts, C., “Timing Concurrent Processes”, University of Edinburgh Report No. LFCS-89-103, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Moller, F., Tofts, C. (1990). A temporal calculus of communicating systems. In: Baeten, J.C.M., Klop, J.W. (eds) CONCUR '90 Theories of Concurrency: Unification and Extension. CONCUR 1990. Lecture Notes in Computer Science, vol 458. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0039073
Download citation
DOI: https://doi.org/10.1007/BFb0039073
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53048-0
Online ISBN: 978-3-540-46395-5
eBook Packages: Springer Book Archive