The mays and musts of concurrent strategies (Q6612785)
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: The mays and musts of concurrent strategies |
scientific article; zbMATH DE number 7920682
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The mays and musts of concurrent strategies |
scientific article; zbMATH DE number 7920682 |
Statements
The mays and musts of concurrent strategies (English)
0 references
1 October 2024
0 references
event structures
0 references
concurrent games and strategies
0 references
`may' and a must' equivalence on strategies
0 references
testing equivalence
0 references
stopping configurations
0 references