Skip to main content
SpringerLink
Log in

A model for real-time process algebras (extended abstract)

  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1993 (MFCS 1993)

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

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. S. Anderson, L. Chen & F. Moller, Observing Causality in Real-Timed Calculi, Preliminary Report, LFCS, University of Edinburgh, 1992

    Google Scholar 

  2. J.C.M. Baeten & J.A. Bergstra, Real Time Process Algebra, Formal Aspects of Computing, Vol 3, No 2, pp142–188, 1991

    Google Scholar 

  3. L. Chen, Decidability and Completeness in Real-Time Processes, Technical Report ECS-LFCS-91-185, Edinburgh University, 1991

    Google Scholar 

  4. L. Chen, An Interleaving Model for Real-Time Systems, in Proc. of Symp. of Logical Foundations of Computer Science, Lecture Notes in Computer Science 620, pp 81–92, Springer-Verlag, 1992

    Google Scholar 

  5. L. Chen Timed Processes: Models, Axioms and Decidability, Ph.D Thesis, University of Edinburgh, 1992

    Google Scholar 

  6. L. Chen, Axiomatising Real-Timed Processes, Proc. of MFPS'93, Lecture Notes in Computer Science, Springer-Verlag, 1993

    Google Scholar 

  7. L. Chen & A. Munro, Applications of Modal Logic for the Specifications of Real-Time Systems, Proc. of FME'93, Lecture Notes in Computer Science 670, pp 235–249, Springer-Verlag, 1993

    Google Scholar 

  8. M. Hennessy, Acceptance Trees, Journal of the Association for Computing Machinery, Vol 32, No 4, pp 896–928, 1985

    Google Scholar 

  9. M. Hennessy, Algebraic Theory of Processes, The MIT Press, 1988

    Google Scholar 

  10. R. Milner, A Calculus of Communicating systems, Lecture Notes in Computer Science 92, Springer-Verlag, 1980

    Google Scholar 

  11. R. Milner, Communication and Concurrency, Prentice-Hall International, 1989

    Google Scholar 

  12. F. Moller & C. Tofts, A Temporal Calculus of Communicating System, Proc. of CONCUR'90, Lecture Notes in Computer Science 458, pp 401–415, 1990

    Google Scholar 

  13. R. Reed & A. W. Roscoe, A Timed Model for Communicating Sequential Processes, Theoretical Computer Science 58, pp 249–261. 1988

    Google Scholar 

  14. G. Winskel, Synchronization Trees, Theoretical Computer Science 34, pp 32–82, 1984

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centre for Communications Research, University of Bristol, BS8 1TR, Bristol, Great Britain

    Liang Chen

Authors
  1. Liang Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Andrzej M. Borzyszkowski Stefan Sokołowski

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chen, L. (1993). A model for real-time process algebras (extended abstract). In: Borzyszkowski, A.M., Sokołowski, S. (eds) Mathematical Foundations of Computer Science 1993. MFCS 1993. Lecture Notes in Computer Science, vol 711. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57182-5_29

Download citation

  • DOI: https://doi.org/10.1007/3-540-57182-5_29

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57182-7

  • Online ISBN: 978-3-540-47927-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation