Prepared for and presented during the Advanced course on distributed systems, methods and tools for specification, held April 3-12, 1984 and repeated ...
Prepared for and presented during the Advanced course on distributed systems, methods and tools for specification, held April 3-12, 1984 and repeated April 16-25, 1985, organized by the Institut für Informatik, Technische Universität München.