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
Journal ArticleDOI
A spatial logic for concurrency--II
Luís Caires,Luca Cardelli +1 more
TL;DR: A modal logic for describing the spatial organization and the behavior of distributed systems and includes spatial operations corresponding to process composition and name hiding, and a fresh name quantifier.
Book ChapterDOI
A Basic Model of Typed Components
João Costa Seco,Luís Caires +1 more
TL;DR: In this article, a core imperative typed calculus for component-based programming is presented, in which components are first-class entities and their basic constructs enable the composition, scripting, instantiation and definition of atomic components.
Book ChapterDOI
Behavioral and Spatial Observations in a Logic for the π-Calculus
TL;DR: It is shown that model-checking is decidable for a useful class of processes that includes the finite-control fragment of the π-calculus, and coinductive and equational characterizations of the equivalence induced on processes by the logic are given.
Book ChapterDOI
Linear logical relations for session-based concurrency
TL;DR: It is proved that all proof conversions induced by the logic interpretation actually express observational equivalences, and how type isomorphisms resulting from linear logic equivalences are realized by coercions between interface types of session-based concurrent systems are explained.
Proceedings ArticleDOI
Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication
TL;DR: A new process assignment from the asynchronous, polyadic pi-calculus to exactly the same proof rules is exhibited, showing that, under this new asynchronous interpretation, cut reductions correspond to a natural asynchronous buffered session semantics, where each session is allocated a separate communication buffer.