M.: Finitely branching labelled transition systems from reaction semantics for process calculi (2009)

by P Di Gianantonio, F Honsell, Lenisa
Venue:In: WADT. Volume 5486 of LNCS