Demonic Algebra with Domain
From MaRDI portal
Publication:5459177
DOI10.1007/11828563_8zbMath1134.68388MaRDI 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
68Q55: Semantics in the theory of computing
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Ehresmann-Schein-Nambooripad theorems for classes of biunary semigroups, Abstract representation theorems for demonic refinement algebras, Algebras for iteration and infinite computations, Finite representability of semigroups with demonic refinement, Left restriction monoids from left \(E\)-completions, How to generalise demonic composition, Infinite executions of lazy and strict computations, Axioms for signatures with domain and demonic composition, Latest News about Demonic Algebra with Domain, On the Structure of Demonic Refinement Algebras with Enabledness and Termination, Modal Semirings Revisited