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
Structural operational semantics for continuous state probabilistic processes
Measurable Stochastics for Brane Calculus
Measurable Stochastics for Brane Calculus
Undecidability of Model Checking in Brane Logic
Controlling resource access in Directed Bigraphs
Cite
×