DSpace Home >
→
Organismes déposants >
→
LIP - Laboratoire de l'Informatique du Parallélisme >
→
View Item >

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