Semantics of Systems of Concurrent Processes 1990: La Roche Posay, France

maintained by Schloss Dagstuhl LZI at University of Trier