Robin Milner. An Action Structure for Synchronous pi-Calculus. In Zoltán Ésik, editor, Fundamentals of Computation Theory, 9th International Symposium, FCT 93, Szeged, Hungary, August 23-27, 1993, Proceedings. Volume 710 of Lecture Notes in Computer Science, pages 87-105, Springer, 1993.
Abstract is missing.