Advertisement

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

  • Liang Chen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 711)

Keywords

Open Vertex Parallel Composition Label Tree Communicate Sequential Process Denotational Semantic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ACM92]
    S. Anderson, L. Chen & F. Moller, Observing Causality in Real-Timed Calculi, Preliminary Report, LFCS, University of Edinburgh, 1992Google Scholar
  2. [BB91]
    J.C.M. Baeten & J.A. Bergstra, Real Time Process Algebra, Formal Aspects of Computing, Vol 3, No 2, pp142–188, 1991Google Scholar
  3. [Che91]
    L. Chen, Decidability and Completeness in Real-Time Processes, Technical Report ECS-LFCS-91-185, Edinburgh University, 1991Google Scholar
  4. [Che92a]
    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, 1992Google Scholar
  5. [Che92b]
    L. Chen Timed Processes: Models, Axioms and Decidability, Ph.D Thesis, University of Edinburgh, 1992Google Scholar
  6. [Che93]
    L. Chen, Axiomatising Real-Timed Processes, Proc. of MFPS'93, Lecture Notes in Computer Science, Springer-Verlag, 1993Google Scholar
  7. [CM93]
    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, 1993Google Scholar
  8. [Hen85]
    M. Hennessy, Acceptance Trees, Journal of the Association for Computing Machinery, Vol 32, No 4, pp 896–928, 1985Google Scholar
  9. [Hen88]
    M. Hennessy, Algebraic Theory of Processes, The MIT Press, 1988Google Scholar
  10. [Mil80]
    R. Milner, A Calculus of Communicating systems, Lecture Notes in Computer Science 92, Springer-Verlag, 1980Google Scholar
  11. [Mil89]
    R. Milner, Communication and Concurrency, Prentice-Hall International, 1989Google Scholar
  12. [MT90]
    F. Moller & C. Tofts, A Temporal Calculus of Communicating System, Proc. of CONCUR'90, Lecture Notes in Computer Science 458, pp 401–415, 1990Google Scholar
  13. [RR88]
    R. Reed & A. W. Roscoe, A Timed Model for Communicating Sequential Processes, Theoretical Computer Science 58, pp 249–261. 1988Google Scholar
  14. [Win84]
    G. Winskel, Synchronization Trees, Theoretical Computer Science 34, pp 32–82, 1984Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Liang Chen
    • 1
  1. 1.Centre for Communications ResearchUniversity of BristolBristolGreat Britain

Personalised recommendations