Bacci G

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

Published with Wowchemy — the free, open source website builder that empowers creators.