2872 search results - page 26 / 575 » On (Omega-)Regular Model Checking |
89
Voted
CAV
2006
Springer
15 years 1 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...
87
Voted
CONCUR
2009
Springer
15 years 4 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....
175
Voted
AB
2008
Springer
15 years 4 months ago
2008
Springer
73
Voted
DSN
2005
IEEE
15 years 3 months ago
2005
IEEE