Fusion and Simultaneous Execution in the Refinement Calculus (1997)

by Ralph-johan Back, Michael Butler
Venue:Acta Informatica