Manifestly Phased Communication via Shared Session Types

Chuta Sano, Stephanie Balzer, Frank Pfenning. Manifestly Phased Communication via Shared Session Types. In Ferruccio Damiani, Ornela Dardha, editors, Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings. Volume 12717 of Lecture Notes in Computer Science, pages 23-40, Springer, 2021. [doi]

Authors

Chuta Sano

This author has not been identified. Look up 'Chuta Sano' in Google

Stephanie Balzer

This author has not been identified. Look up 'Stephanie Balzer' in Google

Frank Pfenning

This author has not been identified. It may be one of the following persons: Look up 'Frank Pfenning' in Google