Results 1  10
of
43
The Seal Calculus
, 2005
"... The Seal Calculus is a process language for describing mobile computation. Threads and resources are tree structured; the nodes thereof correspond to agents, the units of mobility. The Calculus extends a �calculus core with synchronous, objective mobility of agents over channels. This paper syste ..."
Abstract

Cited by 31 (0 self)
 Add to MetaCart
The Seal Calculus is a process language for describing mobile computation. Threads and resources are tree structured; the nodes thereof correspond to agents, the units of mobility. The Calculus extends a �calculus core with synchronous, objective mobility of agents over channels. This paper
Typing mobility in the Seal Calculus
 IN CONCUR 2001, NUMBER 2154 IN LNCS
, 2001
"... The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higherorder types for agents. To that end we first provide a new definition of the Seal Calculus that gets rid of existing inessential featur ..."
Abstract

Cited by 20 (4 self)
 Add to MetaCart
The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higherorder types for agents. To that end we first provide a new definition of the Seal Calculus that gets rid of existing inessential
Commitment and confinement for the Seal calculus
, 1998
"... The Seal calculus is a distributed process calculus in which locations and movement of computational entities are explicit. The calculus is targeted at secure distributed applications over large scale open networks such as the Internet. Security is addressed by the addition of a finegrain access co ..."
Abstract
 Add to MetaCart
The Seal calculus is a distributed process calculus in which locations and movement of computational entities are explicit. The calculus is targeted at secure distributed applications over large scale open networks such as the Internet. Security is addressed by the addition of a finegrain access
Commitment and Confinement for the Seal Calculus
"... The Seal calculus is a distributed process calculus in which locations and movement of computational entities are explicit. The calculus is targeted at secure distributed applications over large scale open networks such as the Internet. Security is addressed by a finegrained access control mechani ..."
Abstract
 Add to MetaCart
The Seal calculus is a distributed process calculus in which locations and movement of computational entities are explicit. The calculus is targeted at secure distributed applications over large scale open networks such as the Internet. Security is addressed by a finegrained access control
Types for Seal Calculus
"... Machine [5]. We will focus on internal reduction of processes by means of reduction axioms and a structural congruence relation. 26 3. UNTYPED SEAL CALCULUS 3.3.1 Free names and substitution The only binders in the Seal are the ( x) prex and the input prex x (y). This leads to the following d ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Machine [5]. We will focus on internal reduction of processes by means of reduction axioms and a structural congruence relation. 26 3. UNTYPED SEAL CALCULUS 3.3.1 Free names and substitution The only binders in the Seal are the ( x) prex and the input prex x (y). This leads to the following
Transformation from Seal Calculus to Mobile Ambient Calculus
, 2006
"... Based on analyzing syntax structrure and semantics reduction system of Seal calculus and Mobile Ambient calculus, we investigate three equivalence relations of the two calculus: communication’s equivalence, communication primitives’s equivalence and code movement equivalence. Then we show the struct ..."
Abstract
 Add to MetaCart
Based on analyzing syntax structrure and semantics reduction system of Seal calculus and Mobile Ambient calculus, we investigate three equivalence relations of the two calculus: communication’s equivalence, communication primitives’s equivalence and code movement equivalence. Then we show
The Seal Calculus Revisited: contextual equivalence and bisimilarity
, 2003
"... We present a new version of the Seal Calculus, a calculus of mobile computation. We study observational congruence and bisimulation theory, and show how they are related. ..."
Abstract

Cited by 24 (3 self)
 Add to MetaCart
We present a new version of the Seal Calculus, a calculus of mobile computation. We study observational congruence and bisimulation theory, and show how they are related.
InCONCUR2001,LectureNotesinComputerScience,2154:102{120,cSpringer,2001.Toappear. Typing mobility in the Seal Calculus
"... Abstract. The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higherorder types for agents. To that end we first provide a new definition of the Seal Calculus that gets rid of existing inessent ..."
Abstract
 Add to MetaCart
Abstract. The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higherorder types for agents. To that end we first provide a new definition of the Seal Calculus that gets rid of existing
Seal: A Framework for Secure Mobile Computations
, 1999
"... . The Seal calculus is a distributed process calculus with localities and mobility of computational entities called seals. Seal is also a framework for writing secure distributed applications over large scale open networks such as the Internet. This paper motivates our design choices, presents t ..."
Abstract

Cited by 109 (4 self)
 Add to MetaCart
. The Seal calculus is a distributed process calculus with localities and mobility of computational entities called seals. Seal is also a framework for writing secure distributed applications over large scale open networks such as the Internet. This paper motivates our design choices, presents
A Calculus of Secure Mobile Computations
, 1998
"... The sealcalculus is a distributed process calculus in which locations and movement of computational entities are explicit. The calculus is targeted at secure distributed applications over large scale open networks such as the Internet. Security is addressed by the addition of a finegrain access con ..."
Abstract

Cited by 31 (6 self)
 Add to MetaCart
The sealcalculus is a distributed process calculus in which locations and movement of computational entities are explicit. The calculus is targeted at secure distributed applications over large scale open networks such as the Internet. Security is addressed by the addition of a finegrain access
Results 1  10
of
43