A Mathematical Game Semantics of Concurrency and Nondeterminism (Q2787451)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6545750
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A Mathematical Game Semantics of Concurrency and Nondeterminism |
scientific article; zbMATH DE number 6545750 |
Statements
A Mathematical Game Semantics of Concurrency and Nondeterminism (English)
0 references
25 February 2016
0 references
concurrent games
0 references
event structures
0 references
closure operators
0 references
0.9251109
0 references
0 references
0.9189839
0 references
0.91052705
0 references
0.9029278
0 references
0.8993781
0 references
0.8955723
0 references
0.8945073
0 references
0.8943695
0 references
