Publications

Export 7 results:
Filters: Author is Caires, Luís  [Clear All Filters]
Book Chapter
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.
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.
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.
Journal Article
Caires, L., and V. T. Vasconcelos, "18th International Conference on Concurrency Theory", Information and Computation, vol. 208, no. 6: Academic Press, pp. 605, 2010.
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.
Miscellaneous
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.