19 citations · 86 across the 21 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.CE2010★ 2 cited
Measurable Stochastics for Brane Calculus
Giorgio Bacci, Marino Miculan
We give a stochastic extension of the Brane Calculus, along the lines of recent work by Cardelli and Mardare. In this presentation, the semantics of a Brane process is a measure of…
cs.LO2010★ 4 cited
Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
Karl Crary, Marino Miculan
Type theories, logical frameworks and meta-languages form a common foundation for designing, implementing, and reasoning about formal languages and their semantics. They are centra…