A Semantic Deconstruction of Session Types - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Massimo Bartoletti, Alceste Scalas, Roberto Zunino. A Semantic Deconstruction of Session Types. In Paolo Baldan, Daniele Gorla, editors, CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. Volume 8704 of Lecture Notes in Computer Science, pages 402-418, Springer, 2014. [doi]

This author has not been identified. Look up 'Massimo Bartoletti' in GoogleThis author has not been identified. Look up 'Alceste Scalas' in GoogleThis author has not been identified. Look up 'Roberto Zunino' in Google

runs on WebDSL