231 search results - page 7 / 47 » Concurrent Reachability Games |
LICS
2005
IEEE
14 years 1 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
14 years 2 months ago
2009
Springer
FSTTCS
2009
Springer
14 years 2 days ago
2009
Springer
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
DAC
1996
ACM
13 years 11 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 ...