Caires, Luís
VIAF ID: 15868561 ( Personal )
Permalink: http://viaf.org/viaf/15868561
Preferred Forms
-
- 100 1 _ ‡a Caires, Luís
- 100 1 _ ‡a Caires, Luís
-
-
- 100 1 _ ‡a Caires, Luís
-
-
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Automata, languages and programming, c2005: | |
calculus for modeling and analyzing conversations in service-oriented computing | |
CLASS logical foundation for typeful programming with shared state | |
Component glue linguagem de composição para arquitecturas distribuídas | |
CONCUR 2007 : concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 : 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 | |
ICALP 2005 | |
logical foundation for session-based concurrent computation | |
model for declarative programming and specification with concurrency and mobility | |
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 | |
Rely-guarantee protocols for safe interference over shared memory | |
type system for value-dependent information flow analysis | |
Unificação de ordem superior polimórfica para a programação em lógica |