Frank S. de Boer, M. van Hulst. A Proof System for Asynchronously Communicating Deterministic Processes. In Igor PrĂvara, Branislav Rovan, Peter Ruzicka, editors, Mathematical Foundations of Computer Science 1994, 19th International Symposium, MFCS 94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings. Volume 841 of Lecture Notes in Computer Science, pages 256-265, Springer, 1994.
Abstract is missing.