Luís Caires profile picture

Luís Caires

Is this your author profile? Create an account to customize it!

Stand Alone

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Automata, Languages and Programming (vol. # 3580)
INForum 2011 Terceiro Simpósio de Informática, Coimbra, Setembro de 2011
CONCUR 2007 - Concurrency Theory
Automata, Languages and Programming 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings