Results 1  10
of
7,567
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 30 (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
"... 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
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
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 25 (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
Qualitative process theory
 MIT AI Lab Memo
, 1982
"... Objects move, collide, flow, bend, heat up, cool down, stretch, compress. and boil. These and other things that cause changes in objects over time are intuitively characterized as processes. To understand commonsense physical reasoning and make programs that interact with the physical world as well ..."
Abstract

Cited by 884 (92 self)
 Add to MetaCart
Objects move, collide, flow, bend, heat up, cool down, stretch, compress. and boil. These and other things that cause changes in objects over time are intuitively characterized as processes. To understand commonsense physical reasoning and make programs that interact with the physical world as well as people do we must understand qualitative reasoning about processes, when they will occur, their effects, and when they will stop. Qualitative process theory defines a simple notion of physical process that appears useful as a language in which to write dynamical theories. Reasoning about processes also motivates a new qualitative representation for quantity in terms of inequalities, called the quantity space. This paper describes the basic concepts of qualitative process theory, several different kinds of reasoning that can be performed with them, and discusses its implications for causal reasoning. Several extended examples illustrate the utility of the theory, including figuring out that a boiler can blow up, that an oscillator with friction will eventually stop, and how to say that you can pull with a string, but not push with it. 1
Results 1  10
of
7,567