Abstract
This paper studies the joint influence of fairness and asynchrony on the modelling of a CCS-like language. Programs in the language are provided with an implementation preorder which reflects their observational properties. A fully abstract model of the preorder is constructed in the framework of infinitary languages, preferred here to more classical domains. The case of bounded parallelism is analyzed: there, infinitary rational expressions may be used to specify the observationally meaningful properties of programs, and no induction is needed to prove those semantic properties.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ben-Ari M., Manna Z., Pnueli A. “The Temporal Logic of Branching Time” 8th Ann. ACM Symp. on POPL (1981)
Brookes S.D., Hoare C.A.R., Roscoe A.W. “A theory of Communicating Sequential Processes” JACM. Vol 31 n° 3, July 84, pp. 560–599
Costa G., Stirling C. “A fair Calculus of Communicating Systems” Proc. FCT 83, Springer-Verlag LNCS Vol. 158
Darondeau Ph., Kott L. “On the Observational Semantics of Fair Parallelism” Proc. ICALP 83, Springer-Verlag LNCS Vol. 154
Full Version of the above -INRIA Report 262 (1983)
Darondeau Ph., Kott L. “A Formal Proof System for Infinitary Rational Expressions” INRIA Report 218 (1983)
Darondeau Ph. “Infinitary Languages and Fully Abstract Models of Fair Asynchrony” INRIA Report 330 (1984)
Eilenberg S. “Automata, Languages and Machines”, Vol. A. Academic Press, New York (1974)
Gabbay D., Pnueli A., Shelah S., Stavi J. “On the Temporal Analysis of Fairness” Proc. 7th Ann. ACM Symp. on POPL (1980)
Hennessy M. “Synchronous and Asynchronous Experiments on Processes” Internal Report CSR -125–82, University of Edinburgh (1982)
Jorrand Ph. “Specification of Communicating Processes and Process Implementation Correctness” Proc. 5th Int. Symp. on Programming Springer-Verlag LNCS Vol 137 (1982)
Milner R. “Fully Abstract Models of Typed A-Calculi” TCS Vol 4 n°1, 1977, pp. 1–23
Milner R. “A Calculus of Communicating Systems” Springer-Verlag LNCS Vol. 92 (1980)
Milner R. “Calculi for Synchrony and Asynchrony” TCS Vol. 25 n°3, 1983, pp. 267–310
Milner R. “A finite Delay Operator for Synchronous CCS” Internal Report CSR 116–82 University of Edinburgh (1982)
Park D. “On the Semantics of Fair Parallelism” in Abstract Software Specifications Springer-Verlag LNCS Vol. 86 (1980)
Plotkin G. “A Structural Approach to Operational Semantics” DAIMI FN-19, Computer Science Dept. Aarhus University (1981)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Darondeau, P. (1985). About Fair Asynchrony. In: Apt, K.R. (eds) Logics and Models of Concurrent Systems. NATO ASI Series, vol 13. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-82453-1_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-82453-1_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-82455-5
Online ISBN: 978-3-642-82453-1
eBook Packages: Springer Book Archive