231 search results - page 7 / 47 » Concurrent Reachability Games |
LICS
2005
IEEE
15 years 3 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 ...
STACS
2009
Springer
15 years 4 months ago
2009
Springer
76
Voted
FSTTCS
2009
Springer
15 years 2 months ago
2009
Springer
87
Voted
CONCUR
2010
Springer
14 years 10 months ago
2010
Springer
DAC
1996
ACM
15 years 1 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...