Gianluigi Ferrari, Ugo Montanari and Marco Pistore
Minimizing Transition Systems for Name Passing Calculi:
A Co-Algebraic Formulation
In FoSSaCS 2002, Mogens Nielsen, Uffe Engberg (Eds.),
LNCS 2303
Dipartimento di Informatica, Pisa - Italy.
Abstract
We address the problem of minimizing labelled transition
systems for name passing calculi. We show how the co-algebraic
formulation of automata with naming directly suggests an
effective minimization algorithm which reduces the number
of states to be analyzed in the verification of properties
for name passing process calculi.
|