A Singleton Failures Semantics for Communicating Sequential Processes

Bibliographic Details
Main Authors: Bolton, C, Davies, J
Format: Journal article
Published: 2006