Publications

Export 7 results:
Filters: Author is Caires, Luís  [Clear All Filters]
2016
Hüttel, H., I. Lanese, V. T. Vasconcelos, L. Caires, M. Carbone, P-M. Deniélou, D. Mostrous, L. Padovani, A. Ravara, E. Tuosto, et al., "Foundations of session types and behavioural contracts", ACM Computing Surveys (CSUR), vol. 49, no. 1: ACM, pp. 3, 2016.
2013
Baltazar, P., L. Caires, V. T. Vasconcelos, and H. Torres Vieira, "A type system for flexible role assignment in multiparty communicating systems", Trustworthy Global Computing: Springer Berlin Heidelberg, pp. 82–96, 2013.
2012
Baltazar, P., L. Caires, V. T. Vasconcelos, and H. Torres Vieira, Dynamic Roles in Multiparty Communicating Systems, : UNL-DI-1–2012, Universidade Nova de Lisboa, 2012.
Caires, L., and H. Torres Vieira, "SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications", Tools and Algorithms for the Construction and Analysis of Systems: Springer Berlin Heidelberg, pp. 485–491, 2012.
2011
Caires, L., R. De Nicola, R. Pugliese, V. T. Vasconcelos, and G. Zavattaro, "Core calculi for service-oriented computing", Rigorous software engineering for service-oriented systems: Springer Berlin Heidelberg, pp. 153–188, 2011.
2010
Caires, L., and V. T. Vasconcelos, "18th International Conference on Concurrency Theory", Information and Computation, vol. 208, no. 6: Academic Press, pp. 605, 2010.
2007
Caires, L., and V. T. Vasconcelos, CONCUR 2007-Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings, , vol. 4703: Springer Science & Business Media, 2007.