CIP - Communicating Interacting Processes A Formal Method for the Development of Reactive Systems.

Hugo Fierz, Hansruedi Mller, Spiros Netos

Browse the full SAFECOMP paper archive.