Job Zwiers, Willem P. de Roever, Peter van Emde Boas. Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem. In Wilfried Brauer, editor, Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece, July 15-19, 1985, Proceedings. Volume 194 of Lecture Notes in Computer Science, pages 509-519, Springer, 1985.
Abstract is missing.