Compositional Event Structure Semantics for the Internal ::::pi:::: -Calculus

Silvia Crafa, Daniele Varacca, Nobuko Yoshida. Compositional Event Structure Semantics for the Internal ::::pi:::: -Calculus. In Luís Caires, Vasco Thudichum Vasconcelos, editors, CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings. Volume 4703 of Lecture Notes in Computer Science, pages 317-332, Springer, 2007. [doi]

Authors

Silvia Crafa

This author has not been identified. Look up 'Silvia Crafa' in Google

Daniele Varacca

This author has not been identified. Look up 'Daniele Varacca' in Google

Nobuko Yoshida

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