457 search results - page 30 / 92 » Distributed verification with LoLA |
SSS
2010
Springer
13 years 5 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
14 years 2 months ago
2008
Springer
TASE
2007
IEEE
14 years 1 months ago
2007
IEEE
SRDS
2005
IEEE
14 years 1 months ago
2005
IEEE
APN
2010
Springer
14 years 13 days ago
2010
Springer
