CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
DBtk: A Toolkit for Directed Bigraphs
G Bacci
,
D Grohmann
,
Marino Miculan
2009-01-01
Cite
DOI
Type
Conference paper
Publication
Proc. CALCO 2009
Related
Measurable Stochastics for Brane Calculus
Structural operational semantics for continuous state probabilistic processes
Measurable Stochastics for Brane Calculus
Controlling resource access in Directed Bigraphs
Undecidability of Model Checking in Brane Logic
Cite
×