NATO ASI Logics and Models of Concurrent Systems 1984: Colle-sur-Loup, France

a service of Schloss Dagstuhl - Leibniz Center for Informatics