Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 2.
Bocchi, Laura and Demangeon, Romain (2013) Embedding Session Types in HML. In: Electronic Proceedings in Theoretical Computer Science. pp. 53-62. (doi:https://doi.org/10.4204/EPTCS.137.5) (Full text available) |
Bocchi, Laura and Chen, Tzu-Chun and Demangeon, Romain and Honda, Kohei and Yoshida, Nobuko (2013) Monitoring Networks through Multiparty Session Types. In: Joint IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE), June 3-6, 2013, Florence, Italy. (doi:https://doi.org/10.1007/978-3-642-38592-6_5) (Full text available) |