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

Document Versions

Fusion and Simultaneous Execution in the Refinement Calculus –Ralph-johan Back, Michael Butler — 1997 — Acta Informatica
Fusion and Simultaneous Execution in the Refinement Calculus –Ralph-johan Back, Ralph-johan Back, Michael Butler, Michael Butler — 1998 — Acta Informatica