Behavioural Abstraction in TCCS

Faron Moller, Chris M. N. Tofts. Behavioural Abstraction in TCCS. In Werner Kuich, editor, Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings. Volume 623 of Lecture Notes in Computer Science, pages 559-570, Springer, 1992.

Abstract

Abstract is missing.