Publications

Export 10 results:
Filters: Author is Lanese, Ivan  [Clear All Filters]
2008
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.
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.
Lanese, I., V. T. Vasconcelos, F. Martins, and C. Gr, "Disciplining Orchestration and Conversation", in Service-Oriented Computing. In 5th IEEE International Conference on Software Engineering and Formal Methods, 2007.
Lanese, I., V. T. Vasconcelos, F. Martins, and A. Ravara, "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.