Home

Journal Article
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.
Book Chapter
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.
Miscellaneous
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.
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.
Journal Article
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.