Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Confirmed Publications: 77



51
TITLE: Conversation Types
AUTHORS: Luis Caires ; Hugo Torres Vieira ;
PUBLISHED: 2009, SOURCE: 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held at Joint European Conferences on Theory and Practice of Software in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 5502
INDEXED IN: Scopus WOS DBLP CrossRef: 31
IN MY: ORCID | DBLP | CIÊNCIAVITAE
52
TITLE: Dynamic Spatial Logics: A Tutorial Survey
AUTHORS: Luís Caires ;
PUBLISHED: 2008, SOURCE: Bulletin of the EATCS, VOLUME: 94
INDEXED IN: DBLP
IN MY: DBLP
53
TITLE: Spatial-behavioral types for concurrency and resource control in distributed systems  Full Text
AUTHORS: Luis Caires ;
PUBLISHED: 2008, SOURCE: 2nd Symposium on Trustworthy Global Computing in THEORETICAL COMPUTER SCIENCE, VOLUME: 402, ISSUE: 2-3
INDEXED IN: Scopus WOS DBLP CrossRef: 14
IN MY: ORCID | DBLP | CIÊNCIAVITAE
54
TITLE: The conversation calculus: A model of service-oriented computation
AUTHORS: Hugo T Vieira ; Luis Caires ; Joao C Seco ;
PUBLISHED: 2008, SOURCE: 17th European Symposium on Programming (ESOP 2008) in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 4960
INDEXED IN: Scopus WOS DBLP CrossRef: 45
IN MY: ORCID | DBLP | CIÊNCIAVITAE
55
56
TITLE: Extensionality of Spatial Observations in Distributed Systems
AUTHORS: Caires, L ; Vieira, HT ;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 175, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
57
TITLE: Logical semantics of types for concurrency
AUTHORS: Luis Caires ;
PUBLISHED: 2007, SOURCE: 2nd International Conference on Algebra and Coalgebra in Computer Science in ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, VOLUME: 4624
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
58
TITLE: Spatial-behavioral types, distributed services, and resources  Full Text
AUTHORS: Luis Caires ;
PUBLISHED: 2007, SOURCE: 2nd Symposium on Trustworthy Global Computing in TRUSTWORTHY GLOBAL COMPUTING, VOLUME: 4661
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
59
TITLE: Elimination of quantifiers and undecidability in spatial logics for concurrency  Full Text
AUTHORS: Luis Caires ; Etienne Lozes;
PUBLISHED: 2006, SOURCE: 15th International Conference on Concurrency Theory in THEORETICAL COMPUTER SCIENCE, VOLUME: 358, ISSUE: 2-3
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
60
TITLE: SCC: A service centered calculus
AUTHORS: Boreale, M; Bruni, R; Caires, L ; De Nicola, R; Lanese, I; Loreti, M; Martins, F ; Montanari, U; Ravara, A ; Sangiorgi, D; Vasconcelos, V ; Zavattaro, G;
PUBLISHED: 2006, SOURCE: 3rd International Workshop on Web Services and Formal Methods, WS-FM 2006 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4184 LNCS
INDEXED IN: Scopus DBLP CrossRef: 74
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 6 of 8. Total results: 77.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service