From CML to Process Algebras (Extended Abstract)

Flemming Nielson, Hanne Riis Nielson. From CML to Process Algebras (Extended Abstract). In Eike Best, editor, CONCUR 93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings. Volume 715 of Lecture Notes in Computer Science, pages 493-508, Springer, 1993.

Abstract

Abstract is missing.