Exploring modal worlds

DOI10.1016/j.jlap.2014.02.004zbMath1434.03146OpenAlexW1970594971WikidataQ62039036 ScholiaQ62039036MaRDI QIDQ406442

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

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

bisimulationformal concept analysisPareto frontseparation logicsoftware product linesrectangles

Mathematics Subject Classification ID

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

Related Items (2)

Extended feature algebra ⋮ Exploring an Interface Model for CKA

Cites Work

• Algebraic separation logic
• The inverse semigroup of a sum-ordered semiring
• Algebras of modal operators and partial correctness
• Reverse Exchange for Concurrency and Local Reasoning
• An Algebraic Calculus of Database Preferences
• Incremental Pseudo Rectangular Organization of Information Relative to a Domain
• An Algebra of Layered Complex Preferences
• Rectangles, Fringes, and Inverses
• A Semiring Approach to Equivalences, Bisimulations and Control
• Kleene algebra with domain
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Exploring modal worlds