Preview
Unable to display preview. Download preview PDF.
References
Hennessy M, de Nicola R, Testing equivalences for Processes. Proc. ICALP 83, LNCS 154 — 1983-
Hennessy M, Modelling Finite Delay Operators Report CSR 153–83, University of Edinburgh — 1983-
Milner R, A calculus of Communicating Systems. LNCS 92 — 1980-
Milner R, Fully Abstract Models of Typed Lambda — Calculi TCS 4, 1 (pp. 1–23) — 1977-
Park D, On the Semantics of fair parallelism In abstract Software Specifications, LNCS 86 — 1980-
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag
About this paper
Cite this paper
Darondeau, P. (1985). A fully abstract model of fair asynchrony. In: Brookes, S.D., Roscoe, A.W., Winskel, G. (eds) Seminar on Concurrency. CONCURRENCY 1984. Lecture Notes in Computer Science, vol 197. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15670-4_21
Download citation
DOI: https://doi.org/10.1007/3-540-15670-4_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15670-3
Online ISBN: 978-3-540-39593-5
eBook Packages: Springer Book Archive