An efficient abstract machine for safe ambients (Q882488)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An efficient abstract machine for safe ambients |
scientific article; zbMATH DE number 5156682
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An efficient abstract machine for safe ambients |
scientific article; zbMATH DE number 5156682 |
Statements
An efficient abstract machine for safe ambients (English)
0 references
23 May 2007
0 references
mobile ambients
0 references
abstract machine
0 references
forwarders
0 references
garbage collection
0 references
bisimulation
0 references
0.9447589
0 references
0.86213124
0 references
0.8516553
0 references
