An Improved Failures Model for Communicating Processes

CMU-CS-85-112

Stephen D. Brookes, Andrew E. Roscoe oot Oxford University, Programming Research Group

October 1984/January 1985 oot To appear in Proceedings of NSF-SERC Seminar on Concurrency , July 1984, Springer Verlag Lecture Notes in Computer Science, 1985.

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.

26 pages

Return to: SCS Technical Report Collection
School of Computer Science homepage

This page maintained by [email protected]