Extended Transition Systems for Parametric Bisimulation.

Paola Inverardi, Corrado Priami, Daniel Yankelevich

Browse the full ICALP paper archive.