457 search results - page 30 / 92 » Distributed verification with LoLA |
SSS
2010
Springer
14 years 7 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...
ACISP
2008
Springer
15 years 4 months ago
2008
Springer
TASE
2007
IEEE
15 years 4 months ago
2007
IEEE
SRDS
2005
IEEE
15 years 3 months ago
2005
IEEE
APN
2010
Springer
15 years 2 months ago
2010
Springer
