Marco Peressotti

Loose Graph Simulations
Deciding weak weighted bisimulation
On the bisimulation hierarchy of state-to-function transition systems
Structural operational semantics for non-deterministic processes with quantitative aspects
Behavioural equivalences for coalgebras with unobservable moves
Distributed execution of bigraphical reactive systems
Open transactions on shared memory
A CSP implementation of the bigraph embedding problem
GSOS for non-deterministic processes with quantitative aspects
Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems
Structural operational semantics for non-deterministic processes with quantitative aspects
Towards distributed bigraphical reactive systems
Weak bisimulations for labelled transition systems weighted over semirings

Published with Wowchemy — the free, open source website builder that empowers creators.