Ingrid Rewitzky, Chris Brink. Monotone Predicate Transformers as Up-Closed Multirelations. In Renate A. Schmidt, editor, Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proce. Volume 4136 of Lecture Notes in Computer Science, pages 311-327, Springer, 2006. [doi]
@inproceedings{RewitzkyB06,
title = {Monotone Predicate Transformers as Up-Closed Multirelations},
author = {Ingrid Rewitzky and Chris Brink},
year = {2006},
doi = {10.1007/11828563_21},
url = {http://dx.doi.org/10.1007/11828563_21},
researchr = {https://researchr.org/publication/RewitzkyB06},
cites = {0},
citedby = {0},
pages = {311-327},
booktitle = {Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proce},
editor = {Renate A. Schmidt},
volume = {4136},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-37873-1},
}