Publications

Export 11 results:
Filters: Author is Ravara, António  [Clear All Filters]
2012
Ravara, A., P. Resende, and V. T. Vasconcelos, "An algebra of behavioural types", Information and Computation, vol. 212: Academic Press, pp. 64–91, 2012.
Gay, S. J., N. Gesbert, A. Ravara, and V. T. Vasconcelos, "Modular session types for objects", arXiv preprint arXiv:1205.5344, 2012.
2009
Gay, S. J., A. Ravara, and V. T. Vasconcelos, "Dynamic interfaces", Proc. Foundations Object-Oriented Languages: Citeseer, 2009.
Vasconcelos, V. T., S. J. Gay, A. Ravara, N. Gesbert, and A. Z. Caldeira, "Dynamic interfaces", International Workshop on Foundations of Object-Oriented Languages (FOOL), 2009.
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 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.