CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Measurable Stochastics for Brane Calculus
G Bacci
,
Marino Miculan
2010-01-01
Cite
DOI
Type
Journal article
Publication
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Related
Measurable Stochastics for Brane Calculus
Structural operational semantics for continuous state probabilistic processes
DBtk: A Toolkit for Directed Bigraphs
Undecidability of Model Checking in Brane Logic
A simple criterion for M,N-adhesivity
Cite
×