19 citations · 86 across the 21 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
Loose Graph Simulations
Alessio Mansutti, Marino Miculan, Marco Peressotti
We introduce loose graph simulations (LGS), a new notion about labelled graphs which subsumes in an intuitive and natural way subgraph isomorphism (SGI), regular language pattern m…
cs.LO2017★ 1 cited
Reductions for Transition Systems at Work: Deriving a Logical Characterization of Quantitative Bisimulation
Marino Miculan, Marco Peressotti
Weighted labelled transition systems (WLTSs) are an established meta-model aiming to provide general results and tools for a wide range of systems such as non-deterministic, stocha…