Latest News about Demonic Algebra with Domain
From MaRDI portal
Publication:3498405
DOI10.1007/978-3-540-78913-0_6zbMath1140.68036OpenAlexW1559440724MaRDI QIDQ3498405
Jules Desharnais, Jean-Lou De Carufel
Publication date: 15 May 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/978-3-540-78913-0_6
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Abstract representation theorems for demonic refinement algebras ⋮ On the Structure of Demonic Refinement Algebras with Enabledness and Termination
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Kleene under a modal demonic star
- A completeness theorem for Kleene algebras and the algebra of regular events
- Towards a refinement algebra
- On the Structure of Demonic Refinement Algebras with Enabledness and Termination
- Refinement Algebra with Operators for Enabledness and Termination
- Laws of programming
- Kleene algebra with domain
- Mathematics of Program Construction
- Demonic Algebra with Domain
- Omega Algebra, Demonic Refinement Algebra and Commands