论文信息 - Quiet and Bouncing Objects: Two Migration Abstractions in a Simple Distributed Blue Calculus

Quiet and Bouncing Objects: Two Migration Abstractions in a Simple Distributed Blue Calculus

In this paper, we study a model of migrating objects based on the blue calculus, extended with a very simple system of localities. We show how two migration behaviors can be defined, namely those of bouncing and quiet objects. These migration control abstractions are defined separately from other aspects of the object definition and can be easily reused, thus providing more flexibility in the definition of migration constraints.

Silvano Dal Zilio

[1] Davide Sangiorgi,et al. Typing and subtyping for mobile processes , 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.

[2] G. Erard Boudol. The -calculus in Direct Style (*) , 1997 .

[3] Luca Cardelli,et al. Operations on records , 1989, Mathematical Structures in Computer Science.

[4] Roberto M. Amadio. An Asynchronous Model of Locality, Failurem and Process Mobility , 1997, COORDINATION.

[5] Silvano Dal Zilio,et al. Concurrent Objects in the Blue Calculus , 1998 .

[6] Martín Abadi,et al. A Theory of Primitive Objects - Untyped and First-Order Systems , 1994, TACS.

[7] Satoshi Matsuoka,et al. Analysis of inheritance anomaly in object-oriented concurrent programming languages , 1993 .

[8] Peter Sewell. Global / Local Subtyping for a Distributed-calculus , 1997 .

[9] Davide Sangiorgi. An Interpretation of Typed Objects into Typed pi-Calculus , 1998, Inf. Comput..

[10] G. Erard Boudol,et al. Typing the Use of Resources in a Concurrent Calculus (extended Abstract) , 1997 .

[11] Gérard Berry,et al. The chemical abstract machine , 1989, POPL '90.

[12] Robin Milner,et al. The Polyadic π-Calculus: a Tutorial , 1993 .