An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics.

Moshe Deutsch, Martin C. Henson

Browse the full APSEC paper archive.