Abstract
This paper shows how to put time into Milner's CCS to model real time systems. In particular, we will develop an expansion theorem for real time concurrency, which is an extension of the expansion theorem of CCS. The essential step made in this work is that a more general form of action prefix, μ@t.P is introduced, where t is a time variable. Intuitively, μ@t.P is an agent which may perform μ and become P[d/t] in doing so, where t is replaced by d, the time delay before μ is actually performed. The original form μ.P of action prefix of CCS is just a simple case of μ@t.P when t does not occur free in P — P does not depend on the time at which μ is performed.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
L. Chen and S. Anderson and F. Moller, A Timed Calculus of Communicating Systems, LFCS report-90-127, Edinburgh University, December 1990.
M. Hennessy and T. Regan, A Temporal Process Algebra, Report No 2/90, University of Sussex, April 1990.
A. Jeffrey, Linear Time Process Algebra, (submitted to CAV91), Dept. of Computer Sciences, Chalmers University, Sweden, March 1991.
R. Milner, Calculi for Synchrony and Asynchrony, TCS, Vol 25, 1983.
R. Milner, Communication and Concurrency, Prentice Hall, 1988.
F. Moller and C. Tofts, A Temperal Calculus of Communicating Systems, LNCS, No. 458, 1990.
Y. Ortega-Mallen and D. de Frutos-Escrig, Timed Observations: a semantic model for real time concurrency, In M. Broy and C.B. Jones, editors, TC2-Working Conference on Programming Concepts and Methods, 1990.
W.P. de Roever and J.J.M. Hooman, Design and Verification of Real-time Distributed Computing: an Introduction to Compositional Methods, Proceeding of the 9th IFIP WG 6.1 International Symposium on Protocol Specification, Testing and Verification, 1989.
G.M. Reed and A.W. Roscoe, A Timed Model for Communicating Sequential Processes, LNCS, No. 226, 1986.
J. Sifakis et al. The Algebra of Timed Processes ATP: Theory and Application, Laboratoire de Genie Informatique, IMAG-Campus, B.P.53X, 38041 Grenoble Cedex, France, December 1990.
Y. Wang, Real Time Behaviour of Asynchronous Agents, LNCS, No. 458, 1990.
Yi Wang, CCS + Time = an Interleaving Model for Real Time Systems, Nordic Workshop on Program Correctness (internal report), Aalborg University, Denmark, October 1990.
Y. Wang, A Calculus of Real Time Systems, Ph.D. thesis (in preparation), Dept. of Computer Sciences, Chalmers University, Sweden, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yi, W. (1991). CCS + time = an interleaving model for real time systems. In: Albert, J.L., Monien, B., Artalejo, M.R. (eds) Automata, Languages and Programming. ICALP 1991. Lecture Notes in Computer Science, vol 510. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54233-7_136
Download citation
DOI: https://doi.org/10.1007/3-540-54233-7_136
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54233-9
Online ISBN: 978-3-540-47516-3
eBook Packages: Springer Book Archive