An improved failures model for communicating processes (1985)

by Brookes, A W Roscoe
Venue:in Proc. Pittsburgh Seminar on Concurrency, Lecture Notes in Computer Science 197