An improved failures model for communicating processes (1985)

by Stephen D Brookes, A W Roscoe
Venue:In Proceedings of the 1984 Carnegie-Mellon University Seminar on Concurrency, volume 197 of Lecture Notes in Computer Science