#### Filter Results:

- Full text PDF available (56)

#### Publication Year

1989

2017

- This year (1)
- Last 5 years (26)
- Last 10 years (49)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Luís Caires, Frank Pfenning
- CONCUR
- 2010

Several type disciplines for π-calculi have been proposed in which linearity plays a key role, even if their precise<lb>relationship with pure linear logic is still not well understood. In this paper, we introduce a type system for the π-<lb>calculus that exactly corresponds to the standard sequent calculus proof system for dual intuitionistic linear logic.… (More)

- Luís Caires, Luca Cardelli
- Inf. Comput.
- 2003

- Michele Boreale, Roberto Bruni, +9 authors Gianluigi Zavattaro
- WS-FM
- 2006

We seek for a small set of primitives that might serve as a basis for formalising and programming service oriented applications over global computers. As an outcome of this study we introduce here SCC, a process calculus that features explicit notions of service definition, service invocation and session handling. Our proposal has been influenced by Orc, a… (More)

- João Costa Seco, Luís Caires
- ECOOP
- 2000

This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context dependence, dynamic binding and subtype polymorphism, late (dynamic) composition, and avoidance of inheritance in favor of object composition — that several authors have defended to… (More)

- Hugo Torres Vieira, Luís Caires, João Costa Seco
- ESOP
- 2008

We present a process-calculus model for expressing and analyzing service-based systems. Our approach addresses central features of the service-oriented computational model such as distribution, process delegation, communication and context sensitiveness, and loose coupling. Distinguishing aspects of our model are the notion of conversation context, the… (More)

- Luís Caires, Hugo Torres Vieira
- Theor. Comput. Sci.
- 2009

<lb>We present a type theory for analyzing concurrent multiparty interactions<lb>as found in service-oriented computing. Our theory introduces a novel and<lb>flexible type structure, able to uniformly describe both the internal and the<lb>interface behavior of systems, referred respectively as choreographies and con-<lb>tracts in web-services terminology.… (More)

- Luís Caires
- FoSSaCS
- 2004

- Luís Caires, Étienne Lozes
- Theor. Comput. Sci.
- 2004

The introduction of spatial logics in concurrency is motivated by a shift of focus from concurrent systems towards distributed systems. Aiming at a deeper understanding of the essence of dynamic spatial logics, we study a minimal spatial logic without quantifiers or any operators talking about names. The logic just includes the basic spatial operators void,… (More)

- Bernardo Toninho, Luís Caires, Frank Pfenning
- PPDP
- 2011

We develop an interpretation of linear type theory as dependent session types for a term passing extension of the pi-calculus. The type system allows us to express rich constraints on sessions, such as interface contracts and proof-carrying certification, which go beyond existing session type systems, and are here justified on purely logical grounds. We can… (More)

- Bernardo Toninho, Luís Caires, Frank Pfenning
- ESOP
- 2013

In prior research we have developed a Curry-Howard interpretation of linear sequent calculus as session-typed processes. In this paper we uniformly integrate this computational interpretation in a functional language via a linear contextual monad that isolates session-based concurrency. Monadic values are open process expressions and are first class objects… (More)