Lazy Semiring Neighbours and Some Applications

DOI10.1007/11828563_14MaRDI QIDQ5459183zbMATH OpenOpenAlexFDO

Authors Peter Höfner, Bernhard Möller

Publication date 24 April 2008

Published in Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11828563_14

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Algebraic neighbourhood logic
• Semiring neighbours: an algebraic embedding and extension of neighbourhood logic
• Kleene getting lazy
• Quantitative -calculus and CTL based on constraint semirings
• Mathematics of Program Construction

Cited in

(2)

• Semiring neighbours: an algebraic embedding and extension of neighbourhood logic
• Algebraic neighbourhood logic

This page was built for publication: Lazy Semiring Neighbours and Some Applications

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