Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem.

Job Zwiers, Willem P. de Roever, Peter van Emde Boas

Browse the full ICALP paper archive.