The Analysis of Concurrent Systems 1983: Cambridge, UK

Tutorial Papers

The Problem Set

Solutions

a service of Schloss Dagstuhl - Leibniz Center for Informatics