Modelling angelic and demonic nondeterminism with multirelations

DOI10.1016/J.SCICO.2006.01.007zbMath1106.68023OpenAlexW2003145055MaRDI QIDQ870278

S. A. Curtis, Clare E. Martin, Ingrid Rewitzky

Publication date: 12 March 2007

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2006.01.007

zbMATH Keywords

agentresource sharingstrongest postconditionangelic nondeterminismdemonic nondeterminismmultirelationpredicate transformer

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (10)

Concurrent Dynamic Algebra ⋮ Taming Multirelations ⋮ Towards patterns for heaps and imperative lambdas ⋮ A coalgebraic perspective on logical interpretations ⋮ A Relation-Algebraic Approach to Multirelations and Predicate Transformers ⋮ Multirelations with infinite computations ⋮ Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism ⋮ An algebraic approach to multirelations and their properties ⋮ The algebra of multirelations ⋮ Algebra of Monotonic Boolean Transformers

This page was built for publication: Modelling angelic and demonic nondeterminism with multirelations