A Global Occurrence Counting Analysis for Brane Calculi.

Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi

Browse the full LOPSTR paper archive.