Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
2014
Bocchi, Laura and Yang, Weizhen and Yoshida, Nobuko (2014) Timed Multiparty Session Types. In: Baldan, Paolo and Gorla, Daniele, eds. International Conference on Concurrency Theory (CONCUR). Lecture Notes in Computer Science. Springer pp. 419-434. (doi:https://doi.org/10.1007/978-3-662-44584-6_29) (Full text available) |