42 citations · 127 across the 17 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.LO2009
Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation
Lubos Brim, Jaco van de Pol
The 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2009) took place on November 4, 2009 at the Eindhoven University of Technology, in conjunct…
cs.LO2009★ 11 cited
Distributed Branching Bisimulation Minimization by Inductive Signatures
Stefan Blom, Jaco van de Pol
We present a new distributed algorithm for state space minimization modulo branching bisimulation. Like its predecessor it uses signatures for refinement, but the refinement proces…