activity
20102018
most citedTracing where IoT data are collected and aggregated

28 citations · 46 across the 8 of their papers we have counts for

collaborators
Showing 2011 · cs.LOShow all

1 paper · 2 filters

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…