In Honor of Willem P. de Roever 2010

Concurrency, Compositionality, and Correctness

a service of Schloss Dagstuhl - Leibniz Center for Informatics