Luca Bernardinello, Giorgio De Michelis, Katia Petruni, Sebastiano Vigna. On The Synchronic Structure of Transition Systems. In Jörg Desel, editor, Proceedings of the International Workshop on Structures in Concurrency Theory, STRICT 1995, Berlin, Germany, May 11-13, 1995. Workshops in Computing, pages 69-84, Springer, 1995. [doi]
Abstract is missing.