A Global Occurrence Counting Analysis for Brane Calculi - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi. A Global Occurrence Counting Analysis for Brane Calculi. In Moreno Falaschi, editor, Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Volume 9527 of Lecture Notes in Computer Science, pages 179-200, Springer, 2015. [doi]

This author has not been identified. Look up 'Chiara Bodei' in GoogleThis author has not been identified. Look up 'Linda Brodo' in GoogleThis author has not been identified. Look up 'Roberta Gori' in GoogleThis author has not been identified. Look up 'Diana Hermith' in GoogleThis author has not been identified. Look up 'Francesca Levi' in Google

runs on WebDSL