"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.
"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.
"Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification", Journal of Logic and Computation, vol. 18, no. 6: Oxford Univ Press, pp. 885–911, 2008.
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification, : Journal of Logic and Computation, 2008.
The Automotive Case Study in the Sensoria Core Calculi, : June, 2007.
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.
"Reasoning about probabilistic sequential programs", Theoretical Computer Science, vol. 379, no. 1: Elsevier, pp. 142–165, 2007.