Preview
Unable to display preview. Download preview PDF.
References
Brookes S.D., Hoare C.A.R., Roscoe A.W. "A Theory of Communicating Sequential Processes", JACM, Vol.31, No3, 84
Graf S., Sifakis J. "A logic for the specification and proof of controllable processes of CCS", Advanced Seminar "Logics and Models for Verification and Specification of concurrent Systems", La Colle sur Loup, Octobre 84, (to appear in LNCS).
Graf S., Sifakis J. "A logic for the description of non deterministic programs and their properties", RR511, IMAG-LGI, Grenoble, February 85.
Hennessy M., Milner R. "On observing non determinism and concurrency", Proc. of 7th ICALP, 80, LNCS 85.
Milner R. "A calculus for communicating systems" LNCS 92.
Olderog E.R. "Specification oriented programming in TCSP", Advanced Seminar ‘logic and models for verification and specification of concurrent systems', La Colle sur Loup,84, To appear in LNCS.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Graf, S., Sifakis, J. (1985). From synchronization tree logic to acceptance model logic. In: Parikh, R. (eds) Logics of Programs. Logic of Programs 1985. Lecture Notes in Computer Science, vol 193. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15648-8_11
Download citation
DOI: https://doi.org/10.1007/3-540-15648-8_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15648-2
Online ISBN: 978-3-540-39527-0
eBook Packages: Springer Book Archive