ca.mcgill.lmp.finite
Classes 
Bisim
Label
LMP
State
TransitionMatrix