Gérard Boudol, Ilaria Castellani. On the Semantics of Concurrency: Partial Orders and Transition Systems. In Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari, editors, TAPSOFT 87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra. Volume 249 of Lecture Notes in Computer Science, pages 123-137, Springer, 1987.
Abstract is missing.