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;]

---

Model Checking Spatial Logics for Closure Spaces

Vincenzo Ciancia ; Diego Latella ; Michele Loreti ; Mieke Massink.

Spatial aspects of computation are becoming increasingly relevant in Computer Science, especially in the field of collective adaptive systems and when dealing with systems distributed in physical space. Traditional formal verification techniques are well suited to analyse the temporal evolution of&nbsp;[&hellip;]

---