Skip to main content

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