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
Christie Bolton and Jim Davies