Abstract representation theorems for demonic refinement algebras

DOI10.1016/J.JLAP.2010.07.014MaRDI QIDQ604454zbMATH OpenOpenAlexFDO

Authors Jean-Lou De Carufel, Jules Desharnais

Publication date 11 November 2010

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2010.07.014

zbMATH Keywords

terminationdemonic refinement algebradivergence operatorKleene algebra with domainrepresentation by pairs

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• Publication:4865868
• Finite representability of semigroups with demonic refinement
• On the Structure of Demonic Refinement Algebras with Enabledness and Termination
• Representable varieties of algebras
• Representations of derived \(A\)-infinity algebras
• On representation-finite algebras and beyond
• Towards a refinement algebra
• scientific article; zbMATH DE number 179050
• Representations of strongly algebraically closed algebras
• Representation theorems for \(Q\)-algebras

Cites work

• scientific article; zbMATH DE number 1612485 (Why is no real title available?)
• scientific article; zbMATH DE number 3929034 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 2087342 (Why is no real title available?)
• scientific article; zbMATH DE number 2090029 (Why is no real title available?)
• A completeness theorem for Kleene algebras and the algebra of regular events
• A generalized control structure and its formal definition
• Algebraic Notions of Termination
• Demonic Algebra with Domain
• Domain Axioms for a Family of Near-Semirings
• Kleene algebra with domain
• Kleene getting lazy
• Latest News about Demonic Algebra with Domain
• Modal Semirings Revisited
• Omega Algebra, Demonic Refinement Algebra and Commands
• On Two Dually Nondeterministic Refinement Algebras
• Probabilistic Choice in Refinement Algebra
• Programming as a Discipline of Mathematical Nature
• Reactive Probabilistic Programs and Refinement Algebra
• Refinement Algebra with Operators for Enabledness and Termination
• Relational Methods in Computer Science
• Relational algebraic semantics of deterministic and nondeterministic programs
• Towards a refinement algebra

Cited in

(6)

• Demonic Algebra with Domain
• Omega Algebra, Demonic Refinement Algebra and Commands
• On Two Dually Nondeterministic Refinement Algebras
• Latest News about Demonic Algebra with Domain
• On the Structure of Demonic Refinement Algebras with Enabledness and Termination
• Automated verification of refinement laws

This page was built for publication: Abstract representation theorems for demonic refinement algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q604454)