28 citations · 46 across the 8 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 3 cited
Brane Calculi Systems: A Static Preview of their Possible Behaviour
Chiara Bodei, Linda Brodo
We improve the precision of a previous Control Flow Analysis for Brane Calculi, by adding information on the context and introducing causality information on the membranes. This al…
cs.DC2011★ 3 cited
Predicting global usages of resources endowed with local policies
Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari
The effective usages of computational resources are a primary concern of up-to-date distributed applications. In this paper, we present a methodology to reason about resource usage…