Preview
Unable to display preview. Download preview PDF.
References
Bergstra J.A., Klop J.W., "Algebra of communicating processes with abstraction", TCS 37, 1985.
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.
Bergstra J.A., Klop J.W., Olderog E.R., "Failure Semantics with Fair Abstraction", report CS-R8609, Centrum voor Wiskunde en Informatica, Amsterdam 1986.
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–396
Graf S., Sifakis J. "A modal characterization of observational congruence of finite terms of CCS", Information and Control 68, 125–145, 1986
Graf S., Sifakis J., "A logic for the specification and proof of controllable processes of CCS", Acta Informatica 23, 507–525, 1986
Graf S., Sifakis J., "A logic for the description of non deterministic programs and their properties", Information and Control 68, 254–270, 1986
Graf S., Sifakis J. "From Synchronization Tree Logic to Acceptance Model Logic", Workshop on Logics of Programs, LNCS 193, 1985
Graf S., Sifakis J. "An Expressive Logic for a Process Algebra with Silent Actions", Technical report Cesar no4, IMAG-LGI, Grenoble.
Graf S., Sifakis J. "Readiness Semantics for Regular Processes with silent moves." Technical report Cesar no3, IMAG-LGI, Grenoble.
Hennessy M., "Acceptance Trees", JACM Vol. no4, 1985
Hennessy M., Milner R., "Observing Nondeterminism and Concurrency", Proc. of 7th ICALP 1982, LNCS 140.
Kozen D., "Results on the Propositional μ-calculus", TCS 27, 333–354, 1983
Lamport L., "What Good is Temporal Logic?", Proceedings of IFIP 1983, North Holland.
Milner R. "A calculus of communicating systems", LNCS 92
Milner R. "A complete Inference System for a class of Regular Behaviors", JCSS, Vol.28, 1984.
Olderog E.R., "Specification Oriented Programming in TCSP", Logics and Models of Concurrent Systems, NATO ASI Series F Vol.13, 1985
Olderog E.R., Hoare T., "Specification oriented Semantics for Communicating Processes", Acta Informatica 23, 9–66, 1986.
Pnueli A., "Linear and Branching Structures in the Semantics and Logics of Reactive Systems", Proceedings of ICALP 1985, LNCS 194
Pnueli A., "Specification and Development of Reactive Systems", Proceedings of IFIP 1986, participants edition, North Holland.
Sifakis J., "A response to Amir Pnueli's 'specification and Development of Reactive Systems'", Proceedings of IFIP 1986, participants edition, North Holland.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Graf, S., Sifakis, J. (1987). Readiness semantics for regular processes with silent actions. In: Ottmann, T. (eds) Automata, Languages and Programming. ICALP 1987. Lecture Notes in Computer Science, vol 267. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18088-5_10
Download citation
DOI: https://doi.org/10.1007/3-540-18088-5_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18088-3
Online ISBN: 978-3-540-47747-1
eBook Packages: Springer Book Archive