Fusion and Simultaneous Execution in the Refinement Calculus (1997)
by
Ralph-johan Back
,
Michael Butler
| Venue: | Acta Informatica |
| Citations: | 12 - 2 self |
BibTeX
@ARTICLE{Back97fusionand,
author = {Ralph-johan Back and Michael Butler},
title = {Fusion and Simultaneous Execution in the Refinement Calculus},
journal = {Acta Informatica},
year = {1997},
volume = {35},
pages = {94--9}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In the refinement calculus, program statements are modelled as predicate transformers. A product operator for predicate transformers was introduced by Martin [18] and Naumann [25] using category theoretic considerations.
