Fusion and Simultaneous Execution in the Refinement Calculus (1997)

Cached

Download Links

by Ralph-johan Back , Michael Butler
Venue:Acta Informatica
Citations:12 - 2 self