Terms with unbounded demonic and angelic nondeterminacy

DOI10.1016/j.scico.2006.01.008zbMath1106.68024OpenAlexW2071777293MaRDI QIDQ870280

Malcolm Tyrrell, Joseph M. Morris

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.008

zbMATH Keywords

nondeterminismangelic nondeterminacydemonic nondeterminacyfree completely distributive lattice

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 (3)

Modelling higher-order dual nondeterminacy ⋮ Alternating states for dual nondeterminism in imperative programming ⋮ Angelicism in the Theory of Reactive Processes

This page was built for publication: Terms with unbounded demonic and angelic nondeterminacy