118 search results - page 2 / 24 » Concurrent Omega-Regular Games |
LICS
2012
IEEE
11 years 7 months ago
2012
IEEE
Abstract—A bicategory of concurrent games, where nondeterministic strategies are formalized as certain maps of event structures, was introduced recently. This paper studies an ex...
FOSSACS
2012
Springer
12 years 1 months ago
2012
Springer
We consider concurrent games played on graphs, in which each player has several qualitative (e.g. reachability or B¨uchi) objectives, and a preorder on these objectives (for insta...
CSL
2002
Springer
13 years 5 months ago
2002
Springer
d Abstract) Marcin Jurdzi
FOSSACS
2004
Springer
13 years 10 months ago
2004
Springer
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
LICS
2005
IEEE
13 years 11 months ago
2005
IEEE
We propose L-nets as a game model of concurrent interaction. L-nets, which correspond to strategies (in Games Semantics) or designs (in Ludics), are graphs rather than trees; the ...