Omega Algebra, Demonic Refinement Algebra and Commands

DOI10.1007/11828563_15zbMath1134.68409OpenAlexW1506058598MaRDI QIDQ5459184

Kim Solin, Peter Höfner, Bernhard Möller

Publication date: 24 April 2008

Published in: Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (7)

Normal design algebra ⋮ Abstract representation theorems for demonic refinement algebras ⋮ Latest News about Demonic Algebra with Domain ⋮ On the Structure of Demonic Refinement Algebras with Enabledness and Termination ⋮ Enabledness and termination in refinement algebra ⋮ Dual choice and iteration in an abstract algebra of action ⋮ Algebras for iteration and infinite computations

This page was built for publication: Omega Algebra, Demonic Refinement Algebra and Commands