Calculating invariants as coreflexive bisimulations (2008)

by L S Barbosa, J N Oliveira, A M Silva
Venue:In 12th Int. Conf. Algebraic Methods and Software Technology (AMAST). Springer Lect. Notes Comp. Sci