Timed Multiparty Session Types

Laura Bocchi, Weizhen Yang, Nobuko Yoshida. Timed Multiparty 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 419-434, Springer, 2014. [doi]

Authors

Laura Bocchi

This author has not been identified. Look up 'Laura Bocchi' in Google

Weizhen Yang

This author has not been identified. Look up 'Weizhen Yang' in Google

Nobuko Yoshida

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