Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
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 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 specification 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
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 object-oriented language with semantics defined in terms of a mobile calculus. First, we review in short some of the high-level 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 object-oriented language with semantics defined in terms of a mobile calculus. First, we review in short some of the high-level 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 a-calculus, 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 rr-calculus 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 in-stantiated 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 in-stantiated 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 ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits co-moves 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 ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits co-moves 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 (first-order) communication. This interaction is crucial in security protocols, which are the main motivating examples for our work; it also appears in other programming-language 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
