Modelling nondeterminism

DOI10.1007/978-3-540-27764-4_13MaRDI QIDQ5313088zbMATH OpenOpenAlexFDO

Authors S. A. Curtis, C. E. Martin, Ingrid Rewitzky

Publication date 26 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98756

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
• How to calculate with nondeterministic functions
• Modelling higher-order dual nondeterminacy
• Relational semantics of functional programs
• A functional calculus for specification and verification of nondeterministic interactive systems

Cited in

(15)

• How to calculate with nondeterministic functions
• Non-deterministic expressions and predicate transformers
• Process algebra having inherent choice: revised semantics for concurrent systems
• Relations as executable specifications: taming partiality and non-determinism using invariants
• Synthesis of strategies using the Hoare logic of angelic and demonic nondeterminism
• Nondeterminism in constructive Z
• Nondeterministic Folds
• scientific article; zbMATH DE number 4047708 (Why is no real title available?)
• Relations into algebras of probabilistic distributions
• Relational semantics of functional programs
• A functional calculus for specification and verification of nondeterministic interactive systems
• Angelic nondeterminism in the unifying theories of programming
• Modelling angelic and demonic nondeterminism with multirelations
• Modelling higher-order dual nondeterminacy
• Alternating states for dual nondeterminism in imperative programming

This page was built for publication: Modelling nondeterminism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5313088)