CCS, Location and Asynchronous Transition Systems

Madhavan Mukund, Mogens Nielsen. CCS, Location and Asynchronous Transition Systems. In R. K. Shyamasundar, editor, Foundations of Software Technology and Theoretical Computer Science, 12th Conference, New Delhi, India, December 18-20, 1992, Proceedings. Volume 652 of Lecture Notes in Computer Science, pages 328-341, Springer, 1992.

Abstract

Abstract is missing.