Erdogmus, M. Hakan Johnston, Robert <br/><br/>
onSpecification and Synthesis of Communicating Processes 

 - 1412-1426 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Communicating Processes<br/>Concurrent Programs<br/>Distributed Systems