CSL
2002
Springer
13 years 11 months ago
2002
Springer
d Abstract) Marcin Jurdzi
LICS
2000
IEEE
14 years 3 months ago
2000
IEEE
We consider two-player games which are played on a finite state space for an infinite number of rounds. The games are concurrent, that is, in each round, the two players choose ...
ATVA
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...