Add to ORKGWe define the syntax, the operational semantics, and a type system for lsd-pi, an asynchronous and distributed $\pi$-calculus with local communication and process migration. The calculus follows a simple model of distribution for mobile calculi, with a lexical scoping mechanism that provides both for remote communication and for process migration, making explicit migration primitives superfluou
Distributed computation is increasingly used even though it is still only loosely controlled. This t...
AbstractThis paper introduces a process calculus designed to capture the phenomenon of names which a...
AbstractThis paper presents the formal specification of an abstract machine or the M-calculus, a new...
We define the syntax, the operational semantics, and a type system for lsd-pi, an asynchronous and d...
AbstractWe define a lexically scoped, asynchronous and distributed π-calculus, with local communicat...
AbstractWe define a lexically scoped, asynchronous and distributed π-calculus, with local communicat...
We define a lexically scoped, asynchronous and distributed π-calculus, with local communication and ...
We define a lexically scoped, asynchronous and distributed #-calculus, with local communication and ...
AbstractWe propose a simple model of distribution for mobile processes, independent of the underlyin...
This paper introduces a process calculus designed to capture the phenomenon of names which are known...
Distributed systems are fast becoming the norm in computer science. Formal mathematical models and t...
AbstractThe pi-calculus is a very expressive process description language in which the only transmit...
AbstractThe pi-calculus is a very expressive process description language in which the only transmit...
AbstractThis paper introduces a process calculus designed to capture the phenomenon of names which a...
In this paper, we comparatively analyze some mainstream calculi for mobility and distribution, toget...
Distributed computation is increasingly used even though it is still only loosely controlled. This t...
AbstractThis paper introduces a process calculus designed to capture the phenomenon of names which a...
AbstractThis paper presents the formal specification of an abstract machine or the M-calculus, a new...
We define the syntax, the operational semantics, and a type system for lsd-pi, an asynchronous and d...
AbstractWe define a lexically scoped, asynchronous and distributed π-calculus, with local communicat...
AbstractWe define a lexically scoped, asynchronous and distributed π-calculus, with local communicat...
We define a lexically scoped, asynchronous and distributed π-calculus, with local communication and ...
We define a lexically scoped, asynchronous and distributed #-calculus, with local communication and ...
AbstractWe propose a simple model of distribution for mobile processes, independent of the underlyin...
This paper introduces a process calculus designed to capture the phenomenon of names which are known...
Distributed systems are fast becoming the norm in computer science. Formal mathematical models and t...
AbstractThe pi-calculus is a very expressive process description language in which the only transmit...
AbstractThe pi-calculus is a very expressive process description language in which the only transmit...
AbstractThis paper introduces a process calculus designed to capture the phenomenon of names which a...
In this paper, we comparatively analyze some mainstream calculi for mobility and distribution, toget...
Distributed computation is increasingly used even though it is still only loosely controlled. This t...
AbstractThis paper introduces a process calculus designed to capture the phenomenon of names which a...
AbstractThis paper presents the formal specification of an abstract machine or the M-calculus, a new...