Pietro Di Gianantonio, Furio Honsell, Marina Lenisa. Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi. In Andrea Corradini, Ugo Montanari, editors, Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers. Volume 5486 of Lecture Notes in Computer Science, pages 119-134, Springer, 2008. [doi]
Abstract is missing.