A mathematical game semantics of concurrency and nondeterminism
Concurrent games as event structures form a partial order model of concurrency where concurrent behaviour is captured by nondeterministic concurrent strategies—a class of maps of event structures. Extended with winning conditions, the model is also able to give semantics to logics of various kinds....
| Main Author: | |
|---|---|
| Format: | Conference item |
| Language: | English |
| Published: |
Springer International Publishing
2015
|