Modal Semirings Revisited
From MaRDI portal
Publication:3521996
DOI10.1007/978-3-540-70594-9_19zbMATH Open1157.68026OpenAlexW1491463546MaRDI QIDQ3521996FDOQ3521996
Authors: Jules Desharnais, Georg Struth 
Publication date: 28 August 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-70594-9_19
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Semirings (16Y60)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Boolean Algebras with Operators. Part I
- Title not available (Why is that?)
- A completeness theorem for Kleene algebras and the algebra of regular events
- Towards a refinement algebra
- Automated Reasoning in Kleene Algebra
- Kleene algebra with domain
- Computer Science Logic
- Using Probabilistic Kleene Algebra for Protocol Verification
- Kleene modules and linear languages
- Algebras of modal operators and partial correctness
- Automated theorem proving by resolution in non-classical logics
- Domain Axioms for a Family of Near-Semirings
- Title not available (Why is that?)
- Refinement Algebra with Operators for Enabledness and Termination
- Demonic Algebra with Domain
- Theory Is Forever
- Title not available (Why is that?)
Cited In (17)
- Exploring modal worlds
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings
- Domain Axioms for a Family of Near-Semirings
- Algebras of modal operators and partial correctness
- On the Semilattice of Modal Operators and Decompositions of the Discriminator
- Axiomatizability of representable domain algebras
- The Structure of the One-Generated Free Domain Semiring
- Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests
- Internal axioms for domain semirings
- Abstract representation theorems for demonic refinement algebras
- Automated verification of refinement laws
- Polynomial ring calculus for modal logics: a new semantics and proof method for modalities
- On the complexity of Kleene algebra with domain
- Modal tools for separation and refinement
- Revisiting Semilattice Semantics
- Modal restriction semigroups: towards an algebra of functions.
- Relational and Kleene-Algebraic Methods in Computer Science
This page was built for publication: Modal Semirings Revisited
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3521996)
