Publications
"Behavioural theory at work: program transformations in a service-centred calculus",
Formal Methods for Open Object-Based Distributed Systems: Springer Berlin Heidelberg, pp. 59–77, 2008.
"Disciplining orchestration and conversation in service-oriented computing",
Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on: IEEE, pp. 305–314, 2007.
"Modular session types for distributed object-oriented programming",
ACM Sigplan Notices, vol. 45, no. 1: ACM, pp. 299–312, 2010.
"An algebra of behavioural types",
Information and Computation, vol. 212: Academic Press, pp. 64–91, 2012.
"Dynamic interfaces",
International Workshop on Foundations of Object-Oriented Languages (FOOL), 2009.
"Dynamic interfaces",
Proc. Foundations Object-Oriented Languages: Citeseer, 2009.
"Foundations of session types and behavioural contracts",
ACM Computing Surveys (CSUR), vol. 49, no. 1: ACM, pp. 3, 2016.
"Modular session types for objects",
arXiv preprint arXiv:1205.5344, 2012.
"The stream-based service-centred calculus: a foundation for service-oriented programming",
Formal Aspects of Computing, vol. 26, no. 5: Springer London, pp. 865–918, 2014.
Bisimulations in SSCC,
: Technical Report 37/2007, Department of Informatics, Faculty of Sciences, University of Lisbon, 2007. To appear, 2007.
Bisimulations in SSCC. DI,
: FCUL TR 07–37, Department of Informatics, Faculty of Sciences, University of Lisbon, 2007.