Fusion and simultaneous execution in the refinement calculus (1998)

by R J R Back, M Butler
Venue:Acta Informatica