Abstract
Timed Communicating Sequential Processes (Timed CSP) is a mathematical approach to the design and analysis of timed concurrent systems. In the existing treatment of concurrency, a Timed CSP process and its environment must cooperate on all observable actions. In a description of a real-time process, it is sometimes convenient to include observable events that are not synchronisations. This paper extends Timed CSP to include signals: broadcast events which do not require the cooperation of the environment.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
J.C.M. Baeten and J.A. Bergstra, Real Time Process Algebra, Formal Aspects of Computing 3:142–188, 1991.
J. Davies, Specification and Proof in Real-time Systems, Programming Research Group Technical Monograph PRG-93, Oxford University 1991.
M. Hennessy and T. Regan, A Temporal Process Algebra, Technical Report 2-90, University of Sussex 1990.
C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall 1985.
F. Moller and C. Tofts, A Temporal Calculus of Communicating Systems, Proceedings of CONCUR 90, Springer LNCS 458 (1990).
X. Nicollin, J.-L. Richier, J. Sifakis and J. Voiron, ATP: an Algebra for Timed Processes, Proceedings of the IFIP Working Conference on Programming Concepts and Methods, 1990.
K.V.S. Prasad, A Calculus of Broadcasting Systems, Proceedings of TAPSOFT '91, Springer LNCS 493 (1991).
G.M. Reed and A.W. Roscoe, A Timed Model for Communicating Sequential Processes, Proceedings of ICALP '86, Springer LNCS 226 (1986); Theoretical Computer Science 58 (1988).
G.M. Reed, A Uniform Mathematical Theory for Real-time Distributed Computing, Oxford University D.Phil thesis 1988.
A.S. Tanenbaum, Computer Networks, Prentice-Hall International 1981.
Wang Yi, Real-time Behaviour of Asynchronous Agents, Proceedings of CONCUR 90, Springer LNCS 458 (1990).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Davies, J., Jackson, D., Schneider, S. (1991). Broadcast communication for real-time processes. In: Vytopil, J. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1992. Lecture Notes in Computer Science, vol 571. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55092-5_9
Download citation
DOI: https://doi.org/10.1007/3-540-55092-5_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55092-1
Online ISBN: 978-3-540-46692-5
eBook Packages: Springer Book Archive