L
Luís Caires
Researcher at Universidade Nova de Lisboa
Publications - 79
Citations - 3186
Luís Caires is an academic researcher from Universidade Nova de Lisboa. The author has contributed to research in topics: Concurrency & Session (computer science). The author has an hindex of 28, co-authored 78 publications receiving 2965 citations. Previous affiliations of Luís Caires include Citigroup & University of Lisbon.
Papers
More filters
Book ChapterDOI
Session types as intuitionistic linear propositions
Luís Caires,Frank Pfenning +1 more
TL;DR: This paper introduces a type system for the π-calculus that exactly corresponds to the standard sequent calculus proof system for dual intuitionistic linear logic, and provides the first purely logical account of all features of session types.
Journal ArticleDOI
A spatial logic for concurrency (part I)
Luís Caires,Luca Cardelli +1 more
TL;DR: A logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems is presented, which includes spatial operations corresponding to composition, local name restriction, and a primitive fresh name quantifier.
Journal ArticleDOI
Foundations of Session Types and Behavioural Contracts
Hans Hüttel,Ivan Lanese,Vasco T. Vasconcelos,Luís Caires,Marco Carbone,Pierre-Malo Deniélou,Dimitris Mostrous,Luca Padovani,António Ravara,Emilio Tuosto,Hugo Torres Vieira,Gianluigi Zavattaro +11 more
TL;DR: This article surveys the main accomplishments of the last 20 years within behavioural types within session types and behavioural contracts.
Book ChapterDOI
A Spatial Logic for Concurrency (Part II)
Luís Caires,Luca Cardelli +1 more
TL;DR: Modal logic for describing the spatial organization and the behavior of distributed systems is presented, including spatial operations corresponding to process composition and name hiding, and a fresh quantifier.
Book ChapterDOI
SCC: a service centered calculus
Michele Boreale,Roberto Bruni,Luís Caires,R. De Nicola,Ivan Lanese,Michele Loreti,Francisco Martins,Ugo Montanari,António Ravara,Davide Sangiorgi,Vasco T. Vasconcelos,Gianluigi Zavattaro +11 more
TL;DR: This study introduces SCC, a process calculus that features explicit notions of service definition, service invocation and session handling, and presents syntax and operational semantics of SCC and a number of simple but nontrivial programming examples that demonstrate flexibility of the chosen set of primitives.