3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
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…