Skip to main content

A Singleton Failures Semantics for Communicating Sequential Processes

Christie Bolton and Jim Davies

Journal
Formal Aspects of Computing
Number
2
Pages
181−210
Volume
18
Year
2006