Intensional and Extensional Characterisation of Global Progress in the π-Calculus

Luca Fossati, Kohei Honda, Nobuko Yoshida. Intensional and Extensional Characterisation of Global Progress in the π-Calculus. In Maciej Koutny, Irek Ulidowski, editors, CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Volume 7454 of Lecture Notes in Computer Science, pages 287-301, Springer, 2012. [doi]

Authors

Luca Fossati

This author has not been identified. Look up 'Luca Fossati' in Google

Kohei Honda

This author has not been identified. Look up 'Kohei Honda' in Google

Nobuko Yoshida

This author has not been identified. Look up 'Nobuko Yoshida' in Google