Ready-Simulation Is Not Ready to Express a Modular Refinement Relation.

Franoise Bellegarde, Jacques Julliand, Olga Kouchnarenko

Browse the full FASE paper archive.