CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
A CSP implementation of the bigraph embedding problem
Marino Miculan
,
Marco Peressotti
2014-01-01
Cite
URL
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
×