The Analysis of Concurrent Systems 1983: Cambridge, UK

Tutorial Papers

The Problem Set

Solutions

maintained by Schloss Dagstuhl LZI at University of Trier