An efficient abstract machine for Safe Ambients

DSpace/Manakin Repository

Show simple item record

dc.contributor.author Laboratoire de l'informatique du parallélisme en_US
dc.contributor.author Hirschkoff, Daniel en_US
dc.contributor.author Pous, Damien en_US
dc.contributor.author Sangiorgi, Davide en_US
dc.date.accessioned 2007-03-08T10:24:38Z
dc.date.available 2007-03-08T10:24:38Z
dc.date.issued 2004-12 en_US
dc.identifier.other LIP-RR - 2004-63 en_US
dc.identifier.uri http://hdl.handle.net/2332/1053
dc.description.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 en_US
dc.format.extent 2+33p en_US
dc.format.extent 553509 bytes
dc.format.extent 23 bytes
dc.format.mimetype application/pdf
dc.format.mimetype application/octet-stream
dc.language.iso eng en_US
dc.rights http://lara.inist.fr/utilisation.jsp en_US
dc.source.uri http://www.ens-lyon.fr/LIP/Pub/Rapports/RR/RR2004/RR2004-63.ps.gz en_US
dc.subject Mobile Ambients en_US
dc.subject Abstract machine en
dc.subject Forwarders en
dc.subject Garbage collection en
dc.subject Bisimulation
dc.title An efficient abstract machine for Safe Ambients en_US
dc.type Research report en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace

Advanced Search


My Account

Bookmark and Share