A Native Approach to Modeling Timed Behavior in the Pi-Calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kamal Barakat, Stefan Kowalewski, Thomas Noll. A Native Approach to Modeling Timed Behavior in the Pi-Calculus. In Tiziana Margaria, Zongyan Qiu, Hongli Yang, editors, Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China. pages 253-256, IEEE, 2012. [doi]

This author has not been identified. Look up 'Kamal Barakat' in GoogleThis author has not been identified. Look up 'Stefan Kowalewski' in GoogleThis author has not been identified. Look up 'Thomas Noll' in Google

runs on WebDSL