A CPS encoding of name-passing in higher-order mobile embedded resources (Q2491640)
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: A CPS encoding of name-passing in higher-order mobile embedded resources |
scientific article; zbMATH DE number 5028695
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A CPS encoding of name-passing in higher-order mobile embedded resources |
scientific article; zbMATH DE number 5028695 |
Statements
A CPS encoding of name-passing in higher-order mobile embedded resources (English)
0 references
29 May 2006
0 references
\(\pi\)-calculus
0 references
name-passing encoding
0 references
process-passing
0 references
nested locations
0 references
continuation-passing
0 references
explicit substitutions
0 references
0.999696969985962
0 references
0.7600300908088684
0 references
0.7597948908805847
0 references
0.7547547221183777
0 references
0.7486823201179504
0 references
