Skip to main content
SpringerLink
Log in

Broadcast communication for real-time processes

  • Session 3
  • Conference paper
  • First Online:
Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 571))

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.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.C.M. Baeten and J.A. Bergstra, Real Time Process Algebra, Formal Aspects of Computing 3:142–188, 1991.

    Google Scholar 

  2. J. Davies, Specification and Proof in Real-time Systems, Programming Research Group Technical Monograph PRG-93, Oxford University 1991.

    Google Scholar 

  3. M. Hennessy and T. Regan, A Temporal Process Algebra, Technical Report 2-90, University of Sussex 1990.

    Google Scholar 

  4. C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall 1985.

    Google Scholar 

  5. F. Moller and C. Tofts, A Temporal Calculus of Communicating Systems, Proceedings of CONCUR 90, Springer LNCS 458 (1990).

    Google Scholar 

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

    Google Scholar 

  7. K.V.S. Prasad, A Calculus of Broadcasting Systems, Proceedings of TAPSOFT '91, Springer LNCS 493 (1991).

    Google Scholar 

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

    Google Scholar 

  9. G.M. Reed, A Uniform Mathematical Theory for Real-time Distributed Computing, Oxford University D.Phil thesis 1988.

    Google Scholar 

  10. A.S. Tanenbaum, Computer Networks, Prentice-Hall International 1981.

    Google Scholar 

  11. Wang Yi, Real-time Behaviour of Asynchronous Agents, Proceedings of CONCUR 90, Springer LNCS 458 (1990).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Programming Research Group, Oxford University Computing Laboratory, 11 Keble Road, 0X1 3QD, Oxford

    Jim Davies, Dave Jackson & Steve Schneider

Authors
  1. Jim Davies
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dave Jackson
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Steve Schneider
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jan Vytopil

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation