CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems
Mansutti Alessio
,
Marino Miculan
,
Marco Peressotti
2014-01-01
Cite
DOI
Type
Conference paper
Publication
Proc. DAIS 2014
Related
Loose Graph Simulations
Deciding weak weighted bisimulation
Structural operational semantics for non-deterministic processes with quantitative aspects
On the bisimulation hierarchy of state-to-function transition systems
Behavioural equivalences for coalgebras with unobservable moves
Cite
×