Abstract
A language for defining fair asynchronous communicating processes is presented. The main operator is a binary composition operator ∥ : p ∥ q represents processes p and q linked together asynchronously but “fairly“. In addition the language has a mechanism for abstracting away from internal components of a process. A denotational semantics is given for the language. The domain used consists of certain kinds of finite-branching trees which may have limit points associated with their infinite paths. The semantics is algebraic in the sense that every operator in the language is interpreted as a function over the domain. Each of these functions are continuous, except that associated with ∥ , which is monotonic. The model satisfies a large collection of equations which supports a transformational proof system for processes. The model is also fully-abstract with respect to a natural notion of testing equivalence. Moreover we show that no fully-abstract model can be continuous.
Preview
Unable to display preview. Download preview PDF.
References
LNCS denotes Lecture Notes in Computer Science, published by Springer-Verlag.
with Olderog, E., Proof Rules and Transformations dealing with Fairness, Science of Computer Programming 3, pp. 65–100.
[Darondeau, P., 1984] Infinitary Languages and Fully Abstract Models for Fair Asynchrony, CNRS-IRISA, Rennes.
[De Nicola, R., 1982], with Hennessy, M., Testing Equivalences for Processes, TCS vol. 34, nos. 1–2, November 1984 (pp. 83–134).
[Hennessy, M., 1983a] Synchronous and Asynchronous Experiments on Processes, Information and Control, vol. 59, nos. 1–3, October 1983 (pp. 36–83).
A Simple Model for Nondeterministic Processes, Technical Report CSR-135-83, University of Edinburgh. To appear in JACM.
Modelling Finite Delay Operators, Technical Report CSR-153-83, University of Edinburgh.
Modelling Fair Processes, Proc. 16th ACM Symposium on Theory of Computing, Washington D.C.
An Asynchronous Theory of Fair Asynchronous Processes, Technical Report CSR-171-84, University of Edinburgh.
A Calculus for Communicating Systems, LNCS 92.
A Finite Delay Operator in Synchronous CCS, Technical Report CSR-116-82, University of Edinburgh.
On the Semantics of Fair Parallelism, LNCS 86.
Denotational Semantics: The Scott-Strachey approach to programming language theory, MIT Press.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hennessy, M. (1985). An algebraic theory of fair asynchronous communicating processes. In: Brauer, W. (eds) Automata, Languages and Programming. ICALP 1985. Lecture Notes in Computer Science, vol 194. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015751
Download citation
DOI: https://doi.org/10.1007/BFb0015751
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15650-5
Online ISBN: 978-3-540-39557-7
eBook Packages: Springer Book Archive