K (2006) Simulation machines for checking action system refinements (0)

by G Smith, Winter
Venue:International Refinement Workshop (Refine 2006), vol 187 of ENTCS