Add to ORKGPowerful concurrency primitives in recent concurrent languages and thread libraries provide great flexibility about implementation of high-level features like concurrent objects
The linear pi-calculus Unlimited channel ω,ω[t] n communications Linear channel 1,1[t
Two semantics for a parallel object-oriented programming language are presented. One is a two-level ...
We explore the role of types in models of concurrent computation, particularly in the concrete setti...
AbstractPowerful concurrency primitives in recent concurrent languages and thread libraries provide ...
Abstract. We extend the linear pi-calculus with composite regular types in such a way that data cont...
Abstract. We extend the linear pi-calculus with composite and equi-recursive types in a way that ena...
AbstractWe present a reconstruction of session types in a linear pi calculus where types are qualifi...
We present a reconstruction of session types in a conventional pi calculus where types are qualified...
Session types capture precise protocol structure in concurrent programming, but do not specify prop-...
International audienceWe address the problem of analysing the complexity of concurrent programs writ...
The pi-calculus is a process algebra that supports process mobility by focusing on the communication...
Several type disciplines for pi-calculi have been proposed in which linearity plays a key role, even...
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-ca...
Enhancing the type system of a programming language brings benefits on many fronts. We define and ex...
The pi-calculus, viewed as a core concurrent programming language, has been used as the target of mu...
The linear pi-calculus Unlimited channel ω,ω[t] n communications Linear channel 1,1[t
Two semantics for a parallel object-oriented programming language are presented. One is a two-level ...
We explore the role of types in models of concurrent computation, particularly in the concrete setti...
AbstractPowerful concurrency primitives in recent concurrent languages and thread libraries provide ...
Abstract. We extend the linear pi-calculus with composite regular types in such a way that data cont...
Abstract. We extend the linear pi-calculus with composite and equi-recursive types in a way that ena...
AbstractWe present a reconstruction of session types in a linear pi calculus where types are qualifi...
We present a reconstruction of session types in a conventional pi calculus where types are qualified...
Session types capture precise protocol structure in concurrent programming, but do not specify prop-...
International audienceWe address the problem of analysing the complexity of concurrent programs writ...
The pi-calculus is a process algebra that supports process mobility by focusing on the communication...
Several type disciplines for pi-calculi have been proposed in which linearity plays a key role, even...
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-ca...
Enhancing the type system of a programming language brings benefits on many fronts. We define and ex...
The pi-calculus, viewed as a core concurrent programming language, has been used as the target of mu...
The linear pi-calculus Unlimited channel ω,ω[t] n communications Linear channel 1,1[t
Two semantics for a parallel object-oriented programming language are presented. One is a two-level ...
We explore the role of types in models of concurrent computation, particularly in the concrete setti...