Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation.

Gian Luigi Ferrari Ugo Montanari Marco Pistore

Published in: FoSSaCS (2002)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
model checker
test set
data flow