457 search results - page 30 / 92 » Distributed verification with LoLA |
138
Voted
SSS
2010
Springer
15 years 1 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
90
Voted
ACISP
2008
Springer
15 years 10 months ago
2008
Springer
119
Voted
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
91
Voted
SRDS
2005
IEEE
15 years 9 months ago
2005
IEEE
110
Voted
APN
2010
Springer
15 years 8 months ago
2010
Springer
