Browse by Research Project Code

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0

Gay, S. and Ravara, A. eds. (2017) Behavioural Types: from Theory to Tools. Series: River Publishers series in automation, control and robotics. River Publishers. ISBN 9788793519824

Gay, S. J. (2016) Subtyping supports safe session substitution. Lecture Notes in Computer Science, 9600, pp. 95-108. (doi: 10.1007/978-3-319-30936-1_5)

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)

This list was generated on Thu Oct 5 00:26:00 2023 BST.