Export 7 results:
Filters: Author is Caires, Luís [Clear All Filters]
"18th International Conference on Concurrency Theory", Information and Computation, vol. 208, no. 6: Academic Press, pp. 605, 2010.
CONCUR 2007-Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings, , vol. 4703: Springer Science & Business Media, 2007.
"Core calculi for service-oriented computing", Rigorous software engineering for service-oriented systems: Springer Berlin Heidelberg, pp. 153–188, 2011.
Dynamic Roles in Multiparty Communicating Systems, : UNL-DI-1–2012, Universidade Nova de Lisboa, 2012.
"Foundations of session types and behavioural contracts", ACM Computing Surveys (CSUR), vol. 49, no. 1: ACM, pp. 3, 2016.
"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.
"A type system for flexible role assignment in multiparty communicating systems", Trustworthy Global Computing: Springer Berlin Heidelberg, pp. 82–96, 2013.