Contractions in Comparing Concurrent Semantics

Joost N. Kok, Jan J. M. M. Rutten. Contractions in Comparing Concurrent Semantics. In Timo Lepistö, Arto Salomaa, editors, Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings. Volume 317 of Lecture Notes in Computer Science, pages 317-332, Springer, 1988.

Abstract

Abstract is missing.