mirage

An efficient abstract machine for Safe Ambients

DSpace/Manakin Repository

An efficient abstract machine for Safe Ambients

Author :

Laboratoire de l'informatique du parallélisme
Hirschkoff, Daniel
Pous, Damien
Sangiorgi, Davide

Abstract :

(eng) Safe Ambients (SA) are a variant of the Ambient Calculus (AC) in which types can be used to avoid certain forms of interferences among processes called

Subject :

Mobile Ambients; Abstract machine; Forwarders; Garbage collection; Bisimulation

URI :

http://hdl.handle.net/2332/1053

Date :

2004-12

Show full item record

Files in this item

Icon
LIP-RR2004-63.pdf
(540.5 Kb)

This item appears in the following Collection(s)

Search DSpace


Advanced Search

Browse

My Account

Bookmark and Share