Asynchronous $$\pi $$ -calculus at Work: The Call-by-Need Strategy (Q6489013)
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: Asynchronous \pi -calculus at Work: The Call-by-Need Strategy |
scientific article; zbMATH DE number 7817539
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Asynchronous $$\pi $$ -calculus at Work: The Call-by-Need Strategy |
scientific article; zbMATH DE number 7817539 |
Statements
Asynchronous $$\pi $$ -calculus at Work: The Call-by-Need Strategy (English)
0 references
14 March 2024
0 references
0.8067978024482727
0 references
0.806505024433136
0 references
0.8042064309120178
0 references
0.7909462451934814
0 references