Browse by Research Project Code
 | Up a level |
Gay, S. J. , Gesbert, N., Ravara, A. and Vasconcelos, V. T. (2015) Modular session types for objects. Logical Methods in Computer Science, 11(4), 12. (doi: 10.2168/LMCS-11(4:12)2015)
In this section
| Up a level |
Gay, S. J. , Gesbert, N., Ravara, A. and Vasconcelos, V. T. (2015) Modular session types for objects. Logical Methods in Computer Science, 11(4), 12. (doi: 10.2168/LMCS-11(4:12)2015)