Publikationen des Jahres 1988
Bücher und Konferenzbände
Friedrich H. Vogt, editor. Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings, volume 335 of Lecture Notes in Computer Science, 1988. Springer.
Publikationen in Zeitschriften und Büchern
Wolfgang Reisig. Concurrency is more fundamental than interleaving. Bulletin of the EATCS, 35: 181-184, 1988.
Konferenzbeiträge und Beiträge auf Workshops
Wolfgang Reisig. Temporal Logic and Causality in Concurrent Systems.. In Friedrich H. Vogt, editor, Concurrency, volume 335 of Lecture Notes in Computer Science, pages 121-139, 1988. Springer.
Wolfgang Reisig. Towards a temporal logic of causality and choice in distributed systems. In J. W. de Bakker, Willem P. de Roever, and Grzegorz Rozenberg, editors, REX Workshop, volume 354 of Lecture Notes in Computer Science, pages 603-627, 1988. Springer.
Theorie der Programmierung | | XHTML 1.0 | Fri Sep 11 16:30:32 2009