Extended Conscriptions Algebraically

Abstract

Conscriptions are a model of sequential computations with assumption/commitment specifications in which assumptions can refer to final states, not just to initial states. We show that they instantiate existing algebras for iteration and infinite computations. We use these algebras to derive an approximation order for conscriptions and one for extended… (More)
DOI: 10.1007/978-3-319-06251-8_9

Topics

Cite this paper

@inproceedings{Guttmann2014ExtendedCA, title={Extended Conscriptions Algebraically}, author={Walter Guttmann}, booktitle={RAMICS}, year={2014} }