Exploring modal worlds
Different applications of modal idempotent semirings. Modal algebra of bisimulations and a proof of closure. Modal algebra of formal concept analysis and database preferences. Modal algebra of total and partial program correctness, including abortion. Modal algebra of structured modules in feature oriented software development.
bisimulation formal concept analysis pareto front rectangles separation logic software product lines