19 citations · 96 across the 34 of their papers we have counts for
4 papers · 1 filter
A CSP implementation of the bigraph embedding problem
Marino Miculan, Marco Peressotti
A crucial problem for many results and tools about bigraphs and bigraphical reactive systems is bigraph embedding. An embedding is more informative than a bigraph matching, since i…
Behavioural equivalences for coalgebras with unobservable moves
Tomasz Brengos, Marino Miculan, Marco Peressotti
We introduce a general categorical framework for the definition of weak behavioural equivalences, building on and extending recent results in the field. This framework is based on…
Structural operational semantics for non-deterministic processes with quantitative aspects
Marino Miculan, Marco Peressotti
General frameworks have been recently proposed as unifying theories for processes combining non-determinism with quantitative aspects (such as probabilistic or stochastically timed…
GSOS for non-deterministic processes with quantitative aspects
Marino Miculan, Marco Peressotti
Recently, some general frameworks have been proposed as unifying theories for processes combining non-determinism with quantitative aspects (such as probabilistic or stochastically…