Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Confirmed Publications: 76



51
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
52
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
53
TITLE: The conversation calculus: A model of service-oriented computation
AUTHORS: Vieira, HT ; Caires, L ; Seco, JC ;
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 | CIÊNCIAVITAE
54
55
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
56
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
57
TITLE: Elimination of quantifiers and undecidability in spatial logics for concurrency  Full Text
AUTHORS: Caires, L ; Lozes, E;
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 | CIÊNCIAVITAE
58
TITLE: Extensionality of Spatial Observations in Distributed Systems
AUTHORS: Luís Caires ; Hugo Torres Vieira ;
PUBLISHED: 2006, SOURCE: EXPRESS, VOLUME: 175, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
59
TITLE: SCC: A Service Centered Calculus
AUTHORS: Michele Boreale; Roberto Bruni; Luís Caires ; Rocco De Nicola; Ivan Lanese; Michele Loreti; Francisco Martins ; Ugo Montanari; António Ravara ; Davide Sangiorgi; Vasco Thudichum Vasconcelos ; Gianluigi Zavattaro;
PUBLISHED: 2006, SOURCE: WS-FM, VOLUME: 4184 LNCS
INDEXED IN: Scopus DBLP CrossRef: 77
IN MY: ORCID | CIÊNCIAVITAE
60
TITLE: Types for dynamic reconfiguration
AUTHORS: Seco, JC ; Caires, L ;
PUBLISHED: 2006, SOURCE: 15th European Symposium on Programming in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 3924
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
Page 6 of 8. Total results: 76.

footer slogan

Useful Links

Get Help

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