Abstract
We extend the failures model of communicating processes to allow a more satisfactory treatment of divergence in addition to deadlock. The relationship between the revised model and the old model is discussed, and we make some connections with various models proposed by other authors.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
6. References
Apt, K. R., Francez, N., and de Roever, W. P., A Proof System for Communicating Sequential Processes, ACM TOPLAS, Vol. 2 No. 3, July 1980.
Brookes, S. D., A Model for Communicating Sequential Processes, Ph. D. thesis, Oxford University (1983). Available as CMU Technical Report CMU-CS-83-149 and PRG Monograph.
Brookes, S. D., Hoare, C. A. R., and Roscoe, A. W., A Theory of Communicating Sequential Processes, Oxford University Computing Laboratory, Programming Research Group, Technical Report PRG-16.
Brookes, S. D., Hoare, C. A. R., and Roscoe, A. W., A Theory of Communicating Sequential Processes, JACM July 1984.
Brookes, S. D., and Roscoe, A. W., An Improved failures Model for Communicating Processes (full version of this paper), to appear, CMU Technical Report.
Brookes, S. D., and Roscoe, A. W., Deadlock Analysis in Networks of Processes, to appear in Proceedings of the NATO Advanced Seminar on Concurrency, La Colle-Sur-Loup, Springer Verlag LNCS (1985).
Broy, M., Semantics of Communicating Processes, preprint, Institut fur Informatik, Technische Universiat Munchen (1983).
Darondeau, Ph., An enlarged definition and complete axiomatization of observational congruence of finite processes, Springer Verlag LNCS vol. 137, pp. 47–62 (1982).
Francez, N., Lehmann, D., and Pnueli, A., A Linear History Semantics for Communicating Processes, Theoretical Computer Science 32 (1984) 25–46.
Francez, N., Hoare, C. A. R., Lehmann, D., and de Roever, W. P., Semantics of nondeterminism, concurrency and communication, JCSS vol. 19 no. 3 (1979).
Hennessy, M., Synchronous and Asynchronous Experiments on Processes, Information and Control, Vol. 59, Nos 1–3, pp. 36–83 (1983).
Hennessy, M., and de Nicola, R., Testing equivalences for processes, Proc. ICALP 1983, Springer LNCS 154 (1983).
Hoare, C. A. R., A Model for Communicating Sequential Processes, Oxford University Computing Laboratory, Programming Research Group, Technical Report PRG-22.
Hoare, C. A. R., Communicating Sequential Processes, CACM 1978.
Kennaway, J., Formal semantics of nondeterminism and parallelism, D. Phil thesis, Oxford University (1981).
Kennaway, J., A theory of nondeterminism, Springer LNCS vol. 85, pp 338–350 (1980).
Levin, G. M., and Gries, D., A Proof Technique for Communicating Sequential Processes, Acta Informatica 15 (1981).
Milner, R., A Calculus of Communicating Systems, Springer Verlag LNCS 92.
de Nicola, R., Two Complete Sets of Axioms for a Theory of Communicating Sequential Processes, Proc. International Conference on Foundations of Computation Theory, Borgholm, Sweden, Springer LNCS (1983).
de Nicola, R., Models and Operators for Nondeterministic Processes, Proceedings of the Conference on Mathematical Foundations of Computer Science, Springer Verlag LNCS (1984).
Olderog, E-R, Specification-oriented semantics of communicating processes, Proc. ICALP 1983, Springer LNCS 154 (1983).
Plotkin, An Operational Semantics for CSP, W.G.2.2 Conference proceedings (1982).
Roscoe, A. W., A Mathematical Theory of Communicating Processes, Ph. D. thesis, Oxford University (1982).
Roscoe, A. W., A Denotational Semantics for occam, Proc. NSF-SERC Seminar on Concurrency, to appear in Springer Lecture Notes series (1984).
Rounds, W. C., and Brookes, S. D., Possible futures, acceptances, refusals and communicating processes, Proc. 22nd IEEE Symposium on Foundations of Computer Science (1981).
Stoy, J. E., Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge, Mass. (1977).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag
About this paper
Cite this paper
Brookes, S.D., Roscoe, A.W. (1985). An improved failures model for communicating processes. 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_14
Download citation
DOI: https://doi.org/10.1007/3-540-15670-4_14
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