Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, "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.

• Google Scholar
• BibTex

Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, "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.

• Google Scholar
• BibTex

Cruz-Filipe, L., J. Rasga, A. Sernadas, and C. Sernadas, "Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification", Journal of Logic and Computation, vol. 18, no. 6: Oxford Univ Press, pp. 885–911, 2008.

• Google Scholar
• BibTex

Sernadas, A., L. Cruz-Filipe, C. Sernadas, and J. Rasga, Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification, : Journal of Logic and Computation, 2008.

• Google Scholar
• BibTex

Cruz-Filipe, L., F. Martins, and V. T. Vasconcelos, The Automotive Case Study in the Sensoria Core Calculi, : June, 2007.

• Google Scholar
• BibTex

Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, Bisimulations in SSCC, : Technical Report 37/2007, Department of Informatics, Faculty of Sciences, University of Lisbon, 2007. To appear, 2007.

• Google Scholar
• BibTex

Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, Bisimulations in SSCC. DI, : FCUL TR 07–37, Department of Informatics, Faculty of Sciences, University of Lisbon, 2007.

• Google Scholar
• BibTex

Chadha, R., L. Cruz-Filipe, P. Mateus, and A. Sernadas, "Reasoning about probabilistic sequential programs", Theoretical Computer Science, vol. 379, no. 1: Elsevier, pp. 142–165, 2007.

• Google Scholar
• BibTex