Extended Transition Systems for Parametric Bisimulation.

Paola Inverardi Corrado Priami Daniel Yankelevich

Published in: ICALP (1993)

Keyphrases

transition systems
concurrent systems
model checking
temporal logic
control flow
search space
reactive systems