Modelling angelic and demonic nondeterminism with multirelations

Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky. Modelling angelic and demonic nondeterminism with multirelations. Science of Computer Programming, 65(2):140-158, 2007. [doi]

Abstract

Abstract is missing.