CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Members
Events
Projects
Software
Publications
Contact
Light
Dark
Automatic
Bacci G
Latest
Structural operational semantics for continuous state stochastic transition systems
Structural operational semantics for continuous state probabilistic processes
Measurable Stochastics for Brane Calculus
DBtk: A Toolkit for Directed Bigraphs
Undecidability of Model Checking in Brane Logic
Modal logics for Brane Calculus
Cite
×