Search

• < Previous
• 1
• Next >

---

Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically

Diego Latella ; Mieke Massink ; Erik P De Vink.

Labeled state-to-function transition systems, FuTS for short, are characterized by transitions which relate states to functions of states over general semirings, equipped with a rich set of higher-order operators. As such, FuTS constitute a convenient modeling instrument to deal with process&nbsp;[&hellip;]

---

Geometric Model Checking of Continuous Space

Nick Bezhanishvili ; Vincenzo Ciancia ; David Gabelaia ; Gianluca Grilletti ; Diego Latella ; Mieke Massink.

Topological Spatial Model Checking is a recent paradigm where model checking techniques are developed for the topological interpretation of Modal Logic. The Spatial Logic of Closure Spaces, SLCS, extends Modal Logic with reachability connectives that, in turn, can be used for expressing interesting&nbsp;[&hellip;]

---