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

a service of Schloss Dagstuhl - Leibniz Center for Informatics