2875 search results - page 42 / 575 » Model checking agentspeak |
113
Voted
CAV
2006
Springer
15 years 4 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
102
Voted
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
147
Voted
POPL
2002
ACM
16 years 25 days ago
2002
ACM
208
Voted
AB
2008
Springer
15 years 6 months ago
2008
Springer
86
Voted
DSN
2005
IEEE
15 years 6 months ago
2005
IEEE