Advertisement

Readiness semantics for regular processes with silent actions

  • Susanne Graf
  • Joseph Sifakis
Semantics, Concurrency
Part of the Lecture Notes in Computer Science book series (LNCS, volume 267)

Keywords

Normal Form Process Algebra Congruence Class Acceptance Tree Silent Action 
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. [BK1]
    Bergstra J.A., Klop J.W., "Algebra of communicating processes with abstraction", TCS 37, 1985.Google Scholar
  2. [BK2]
    Bergstra J.A., Klop J.W., "A complete Inference System for Regular Processes with silent Moves", report CS-R8420, Centrum voor Wiskunde en Informatica, Amsterdam 1984.Google Scholar
  3. [BKO]
    Bergstra J.A., Klop J.W., Olderog E.R., "Failure Semantics with Fair Abstraction", report CS-R8609, Centrum voor Wiskunde en Informatica, Amsterdam 1986.Google Scholar
  4. [Gr]
    Graf S. "A Complete Inference System for an Algebra of Regular Acceptance Models", Proceedings MFCS (Mathematical Foundations of Computer Science) 1986, Bratislava, LNCS 233, pp.386–396Google Scholar
  5. [GS1]
    Graf S., Sifakis J. "A modal characterization of observational congruence of finite terms of CCS", Information and Control 68, 125–145, 1986CrossRefGoogle Scholar
  6. [GS2]
    Graf S., Sifakis J., "A logic for the specification and proof of controllable processes of CCS", Acta Informatica 23, 507–525, 1986Google Scholar
  7. [GS3]
    Graf S., Sifakis J., "A logic for the description of non deterministic programs and their properties", Information and Control 68, 254–270, 1986CrossRefGoogle Scholar
  8. [GS4]
    Graf S., Sifakis J. "From Synchronization Tree Logic to Acceptance Model Logic", Workshop on Logics of Programs, LNCS 193, 1985Google Scholar
  9. [GS5]
    Graf S., Sifakis J. "An Expressive Logic for a Process Algebra with Silent Actions", Technical report Cesar no4, IMAG-LGI, Grenoble.Google Scholar
  10. [GS6]
    Graf S., Sifakis J. "Readiness Semantics for Regular Processes with silent moves." Technical report Cesar no3, IMAG-LGI, Grenoble.Google Scholar
  11. [He]
    Hennessy M., "Acceptance Trees", JACM Vol. no4, 1985Google Scholar
  12. [HM]
    Hennessy M., Milner R., "Observing Nondeterminism and Concurrency", Proc. of 7th ICALP 1982, LNCS 140.Google Scholar
  13. [Ko]
    Kozen D., "Results on the Propositional μ-calculus", TCS 27, 333–354, 1983Google Scholar
  14. [La]
    Lamport L., "What Good is Temporal Logic?", Proceedings of IFIP 1983, North Holland.Google Scholar
  15. [Mi1]
    Milner R. "A calculus of communicating systems", LNCS 92Google Scholar
  16. [Mi2]
    Milner R. "A complete Inference System for a class of Regular Behaviors", JCSS, Vol.28, 1984.Google Scholar
  17. [O1]
    Olderog E.R., "Specification Oriented Programming in TCSP", Logics and Models of Concurrent Systems, NATO ASI Series F Vol.13, 1985Google Scholar
  18. [OH]
    Olderog E.R., Hoare T., "Specification oriented Semantics for Communicating Processes", Acta Informatica 23, 9–66, 1986.Google Scholar
  19. [Pn1]
    Pnueli A., "Linear and Branching Structures in the Semantics and Logics of Reactive Systems", Proceedings of ICALP 1985, LNCS 194Google Scholar
  20. [Pn2]
    Pnueli A., "Specification and Development of Reactive Systems", Proceedings of IFIP 1986, participants edition, North Holland.Google Scholar
  21. [Si]
    Sifakis J., "A response to Amir Pnueli's 'specification and Development of Reactive Systems'", Proceedings of IFIP 1986, participants edition, North Holland.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Susanne Graf
    • 1
  • Joseph Sifakis
    • 1
  1. 1.IMAG — LGI

Personalised recommendations