Omega Algebra, Demonic Refinement Algebra and Commands
From MaRDI portal
Publication:5459184
DOI10.1007/11828563_15zbMath1134.68409MaRDI 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
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Abstract representation theorems for demonic refinement algebras, Dual choice and iteration in an abstract algebra of action, Algebras for iteration and infinite computations, Normal design algebra, Enabledness and termination in refinement algebra, Latest News about Demonic Algebra with Domain, On the Structure of Demonic Refinement Algebras with Enabledness and Termination