Results 1 - 10 of 287

Types for the Ambient Calculus

by Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon , 2001
"... interpretation is a methodology for deriving program analyses systematically from the semantics of a programming language. Hansen, Jensen, Nielson, and Nielson [20] describe a constraint-based framework for abstract interpretation of mobile ambients; instances of the framework include an analysis co ..."
Abstract - Cited by 44 (0 self) - Add to MetaCart
counting occurrences of ambients, and also the original control ow analysis for the ambient calculus [29]. Levi and Maeis [24] and Feret [19] present abstract interpretations based on alternative semantics of the ambient calculus. Some analyses have been developed in the setting of Levi and Sangiorgi

A Dependently Typed Ambient Calculus

by Cédric Lhoussaine, Vladimiro Sassone - In Programming Languages & Systems, 13th European Symp. Programming , 2003
"... The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. ..."
Abstract - Cited by 10 (1 self) - Add to MetaCart
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control.

Orderly communication in the ambient calculus

by Torben Amtoft, Assaf J. Kfoury, Santiago M. Pericas-geertsen - Computer Languages
"... cs-people.bu.edu/santiago The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC that allows the type of exchanged data within the same ambient to vary over time. Our type syst ..."
Abstract - Cited by 2 (2 self) - Add to MetaCart
cs-people.bu.edu/santiago The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC that allows the type of exchanged data within the same ambient to vary over time. Our type

The Principles of Ambient Calculus Revisited †

by Radu Mardare, Corrado Priami, Radu Mardare, Corrado Priami , 2005
"... ”All science is the study of patterns. Mathematics is the science of patterns of patterns.” (Jon Barwise) The paper presents a foundational analysis of the class of ambient calculi focussing on the spatial structures of the processes they can describe. We propose sound correct set-theoretical models ..."
Abstract - Add to MetaCart
-theoretical description of the structural congruence. Consistently with the model, we extend the classical structural congruence, the extension proving that P |P |P... ≡ (recX.X|P) ≡ (recX.X|X|...|X|P), if X does not appear free in P. In Ambient Calculus the space has a decisive influence in the behavior of a process

Computing the accessibility relation for ambient calculus

by Radu Mardare, Radu Mardare, Corrado Priami, Corrado Priami , 2003
"... We present some algorithms to compute the reductions of Ambient Calculus and to describe mobility and dynamic hierarchies of locations. The main idea is to treat each ambient program as a complex of a settheoretical structure for describing the hierarchy of locations, a function for naming the nodes ..."
Abstract - Cited by 4 (3 self) - Add to MetaCart
We present some algorithms to compute the reductions of Ambient Calculus and to describe mobility and dynamic hierarchies of locations. The main idea is to treat each ambient program as a complex of a settheoretical structure for describing the hierarchy of locations, a function for naming

Stochastic Ambient Calculus

by Maria G. Vigliotti, Peter G. Harrison - QAPL 2006 , 2006
"... Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We present the stochastic version of Mobile Ambients, called Stochastic Mobile Ambients (SMA), where we extend MA with time and ..."
Abstract - Cited by 4 (0 self) - Add to MetaCart
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We present the stochastic version of Mobile Ambients, called Stochastic Mobile Ambients (SMA), where we extend MA with time

Hybrid Logical Analyses of the Ambient Calculus

by Thomas Bol, René Rydhof Hansen
"... Abstract. In this paper, hybrid logic is used to formulate a rational reconstruction of a previously published control flow analysis for the mobile ambients calculus and we further show how a more precise flow-sensitive analysis, that takes the ordering of action sequences into account, can be formu ..."
Abstract - Add to MetaCart
Abstract. In this paper, hybrid logic is used to formulate a rational reconstruction of a previously published control flow analysis for the mobile ambients calculus and we further show how a more precise flow-sensitive analysis, that takes the ordering of action sequences into account, can

A Commitment Relation for the Ambient Calculus

by Luca Cardelli Luca, Andrew D. Gordon - Machine” AT & T Bell Laboratories Report TR-107 , 1996
"... We present a commitment relation, a kind of labeled transition system, for the ambient calculus. This note is an extract from an unpublished annex to our original article [2] on the ambient calculus. 1 Review of the Ambient Calculus In this section we review the syntax of the ambient calculus, and ..."
Abstract - Add to MetaCart
We present a commitment relation, a kind of labeled transition system, for the ambient calculus. This note is an extract from an unpublished annex to our original article [2] on the ambient calculus. 1 Review of the Ambient Calculus In this section we review the syntax of the ambient calculus

Transformation from Seal Calculus to Mobile Ambient Calculus

by Zhang Jing, Zhang Li-cui, Guo De-gui , 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

Ambient Calculus and its Logic in the Calculus of Inductive Constructions

by Ivan Scagnetto, Marino Miculan - In Proc. of LFM, ENTCS 70.2, 2002. 161 , 2002
"... The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of the theory and metatheory of Ambient Calculus and its modal logic in the Calculus of Inductive Constructions. We take full ..."
Abstract - Cited by 3 (1 self) - Add to MetaCart
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of the theory and metatheory of Ambient Calculus and its modal logic in the Calculus of Inductive Constructions. We take
Results 1 - 10 of 287