Exploring modal worlds

DOI10.1016/J.JLAP.2014.02.004MaRDI QIDQ406442zbMATH OpenOpenAlexWikidataFDO

Authors Han-Hing Dang, Roland Glück, Bernhard Möller, Patrick Roocks, Andreas Zelend

Publication date 8 September 2014

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

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

zbMATH Keywords

formal concept analysisbisimulationseparation logicPareto frontsoftware product linesrectangles

Mathematics Subject Classification ID

Knowledge representation (68T30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Database theory (68P15) Other algebras related to logic (03G25)

Recommendations

• Modal Semirings Revisited
• scientific article; zbMATH DE number 2165869
• scientific article; zbMATH DE number 1358710
• scientific article; zbMATH DE number 6010895
• Modal restriction semigroups: towards an algebra of functions.

Cites work

• scientific article; zbMATH DE number 3887879 (Why is no real title available?)
• scientific article; zbMATH DE number 1249514 (Why is no real title available?)
• scientific article; zbMATH DE number 701387 (Why is no real title available?)
• scientific article; zbMATH DE number 2033531 (Why is no real title available?)
• scientific article; zbMATH DE number 2087445 (Why is no real title available?)
• scientific article; zbMATH DE number 234018 (Why is no real title available?)
• A semiring approach to equivalences, bisimulations and control
• Algebraic separation logic
• Algebras of modal operators and partial correctness
• An Algebra of Layered Complex Preferences
• An algebraic calculus of database preferences
• Incremental Pseudo Rectangular Organization of Information Relative to a Domain
• Kleene algebra with domain
• Rectangles, Fringes, and Inverses
• Relational mathematics
• Reverse exchange for concurrency and local reasoning
• The inverse semigroup of a sum-ordered semiring

Cited in

(4)

• Categories of algebraic contexts equivalent to idempotent semirings and domain semirings
• Exploring an interface model for CKA
• Extended feature algebra
• Modal Semirings Revisited

This page was built for publication: Exploring modal worlds

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