Publikationen des Jahres 1989
Bücher und Konferenzbände
J. W. de Bakker, Willem P. de Roever, and Grzegorz Rozenberg, editors. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, volume 354 of Lecture Notes in Computer Science, 1989. Springer.
Publikationen in Zeitschriften und Büchern
Wolfgang Reisig. The decent philosophers: An exercise in operational semantics of concurrent systems. In J.W. de Bakker, editor, 25 Jaar Semantiek-Liber Amicorum. CWI, Amsterdamm, 1989.
Theorie der Programmierung | | XHTML 1.0 | Fri Sep 11 16:30:32 2009