Demonic Algebra with Domain
From MaRDI portal
Publication:5459177
DOI10.1007/11828563_8zbMath1134.68388OpenAlexW1483831133MaRDI QIDQ5459177
Jules Desharnais, Jean-Lou De Carufel
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_8
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (11)
Finite representability of semigroups with demonic refinement ⋮ Left restriction monoids from left \(E\)-completions ⋮ Axioms for signatures with domain and demonic composition ⋮ 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 ⋮ Ehresmann-Schein-Nambooripad theorems for classes of biunary semigroups ⋮ Modal Semirings Revisited ⋮ How to generalise demonic composition ⋮ Algebras for iteration and infinite computations ⋮ Infinite executions of lazy and strict computations
This page was built for publication: Demonic Algebra with Domain
