An improved failures model for communicating processes
A. W. Roscoe and S.D. Brookes
Book Title
Proceedings of the Pittsburgh seminar on concurrency
Number
197
Pages
281–305
Publisher
Springer
Series
LNCS
Year
1985
A. W. Roscoe and S.D. Brookes