G Bacci

Latest

• Measurable Stochastics for Brane Calculus
• 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