Results 1  10
of
759
A Mobile Calculus with Data
, 1999
"... Process algebras are a widely used formalism for the specification of the structure and the behaviour of reactive systems. Some process algebras, e.g. the picalculus and the fusion calculus, allow for mobility, i.e. it is possible to change the system structure dynamically by sending channel names ..."
Abstract
 Add to MetaCart
Process algebras are a widely used formalism for the specification of the structure and the behaviour of reactive systems. Some process algebras, e.g. the picalculus and the fusion calculus, allow for mobility, i.e. it is possible to change the system structure dynamically by sending channel names
A Mobile Calculus with Data
, 1999
"... Process algebras are a widely used formalism for the specication of the structure and the behaviour of reactive systems. Some process algebras, e.g. the pi calculus and the fusion calculus, allow for mobility, i.e. it is possible to change the system structure dynamically by sending channel names ..."
Abstract
 Add to MetaCart
Process algebras are a widely used formalism for the specication of the structure and the behaviour of reactive systems. Some process algebras, e.g. the pi calculus and the fusion calculus, allow for mobility, i.e. it is possible to change the system structure dynamically by sending channel names
Mobile Calculus Semantics of Concurrent
"... We investigate the possibility to design a simple concurrent objectoriented language with semantics defined in terms of a mobile calculus. First, we review in short some of the highlevel concurrent features used in other languages. Then we describe basics of the πcalculus and the PICT language. T ..."
Abstract
 Add to MetaCart
We investigate the possibility to design a simple concurrent objectoriented language with semantics defined in terms of a mobile calculus. First, we review in short some of the highlevel concurrent features used in other languages. Then we describe basics of the πcalculus and the PICT language
A calculus of mobile processes, I
, 1992
"... We present the acalculus, a calculus of communicating systems in which one can naturally express processes which have changing structure. Not only may the component agents of a system be arbitrarily linked, but a communication between neighbours may carry information which changes that linkage. The ..."
Abstract

Cited by 1184 (31 self)
 Add to MetaCart
. The calculus is an extension of the process algebra CCS, following work by Engberg and Nielsen, who added mobility to CCS while preserving its algebraic properties. The rrcalculus gains simplicity by removing all distinction between variables and constants; communication links are identified by names
Mobile ambients
, 1998
"... We introduce a calculus describing the movement of processes and devices, including ..."
Abstract

Cited by 916 (26 self)
 Add to MetaCart
We introduce a calculus describing the movement of processes and devices, including
PRISMA: A mobile calculus with parametric synchronization
 IN PROC. OF TGC’06, LECT. NOTES IN COMPUT. SCI
, 2007
"... We present PRISMA, a parametric calculus that can be instantiated with different interaction policies, defined as synchronization algebras with mobility of names (SAMs). We define both operational semantics and observational semantics of PRISMA, showing that thesecond one is compositional for any ..."
Abstract

Cited by 5 (3 self)
 Add to MetaCart
We present PRISMA, a parametric calculus that can be instantiated with different interaction policies, defined as synchronization algebras with mobility of names (SAMs). We define both operational semantics and observational semantics of PRISMA, showing that thesecond one is compositional for any
A Mobility Calculus with Local and Dependent Types
 Processes, Terms and Cycles: Steps on the Road to Infinity, volume 3838 of LNCS
, 2005
"... Abstract. We introduce an ambientbased calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits comoves and runtime type checking to implement flexible policies for controlling process activities. Types rely on group ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
Abstract. We introduce an ambientbased calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits comoves and runtime type checking to implement flexible policies for controlling process activities. Types rely
A Calculus of Mobile Agents
, 1996
"... . We introduce a calculus for mobile agents and give its chemical semantics, with a precise definition for migration, failure, and failure detection. Various examples written in our calculus illustrate how to express remote executions, dynamic loading of remote resources and protocols with mobile ag ..."
Abstract

Cited by 281 (13 self)
 Add to MetaCart
. We introduce a calculus for mobile agents and give its chemical semantics, with a precise definition for migration, failure, and failure detection. Various examples written in our calculus illustrate how to express remote executions, dynamic loading of remote resources and protocols with mobile
Mobile Values, New Names, and Secure Communication
, 2001
"... We study the interaction of the "new" construct with a rich but common form of (firstorder) communication. This interaction is crucial in security protocols, which are the main motivating examples for our work; it also appears in other programminglanguage contexts. Specifically, we intro ..."
Abstract

Cited by 372 (17 self)
 Add to MetaCart
introduce a simple, general extension of the pi calculus with value passing, primitive functions, and equations among terms. We develop semantics and proof techniques for this extended language and apply them in reasoning about some security protocols.
Results 1  10
of
759