Complete trace models of state and control (Q2233464)
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: Complete trace models of state and control |
scientific article; zbMATH DE number 7410465
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Complete trace models of state and control |
scientific article; zbMATH DE number 7410465 |
Statements
Complete trace models of state and control (English)
0 references
18 October 2021
0 references
contextual equivalence
0 references
operational game semantics
0 references
higher-order references
0 references
control operators
0 references
0 references
0 references
0.7891218066215515
0 references
0.7741955518722534
0 references
0.7740345001220703
0 references
0.7450499534606934
0 references
0.7394974827766418
0 references
