::::nu::::-Types for Effects and Freshness Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino. ::::nu::::-Types for Effects and Freshness Analysis. In Martin Leucker, Carroll Morgan, editors, Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings. Volume 5684 of Lecture Notes in Computer Science, pages 80-95, Springer, 2009. [doi]

This author has not been identified. Look up 'Massimo Bartoletti' in GoogleThis author has not been identified. Look up 'Pierpaolo Degano' in GoogleThis author has not been identified. Look up 'Gian Luigi Ferrari' in GoogleThis author has not been identified. Look up 'Roberto Zunino' in Google

runs on WebDSL