CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Reactive Systems over Directed Bigraphs
Davide Grohmann
,
Marino Miculan
2007-01-01
Cite
DOI
Type
Conference paper
Publication
Proceedings of CONCUR 2007
Related
Graph Algebras for Bigraphs
Deriving Barbed Bisimulations for Bigraphical Reactive Systems
A framework for protein and membrane interactions
Bigraphical models for protein and membrane interactions
An Algebra for Directed Bigraphs
Cite
×