Extending mCRL2 with ready simulation and iocos input-output conformance simulation.

Carlos Gregorio-Rodrguez, Luis Llana, Rafael Martnez-Torres

Browse the full SAC paper archive.