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)

Donaldson, A.F. and Gay, S.J. (2010) Type inference and strong static type checking for Promela. Science of Computer Programming, 75(11), pp. 1165-1191. (doi: 10.1016/j.scico.2010.05.010)

Gay, S. and Vasconcelos, V. (2010) Linear type theory for asynchronous session types. Journal of Functional Programming, 20(01), pp. 19-50. (doi: 10.1017/S0956796809990268)

Gay, S. , Vasconcelos, V., Ravara, A., Gesbert, N. and Caldeira, A. (2010) Modular session types for distributed object-oriented programming. In: 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Madrid, Spain, 17-23 Jan 2010, pp. 299-312. ISBN 9781605584799 (doi: 10.1145/1706299.1706335)