Davide Grohmann

Latest

• Graph Algebras for Bigraphs
• A framework for protein and membrane interactions
• Bigraphical models for protein and membrane interactions
• Deriving Barbed Bisimulations for Bigraphical Reactive Systems
• An Algebra for Directed Bigraphs
• Reactive Systems over Directed Bigraphs