A Proof System for Asynchronously Communicating Deterministic Processes.

Frank S. de Boer, M. van Hulst

Browse the full MFCS paper archive.