The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes.

Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann

Browse the full MFCS paper archive.