Home

2007
Cruz-Filipe, L., F. Martins, and V. T. Vasconcelos, The Automotive Case Study in the Sensoria Core Calculi, : June, 2007.
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.
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.