6 search results - page 2 / 2 » sbmf 2010 |
SBMF
2010
Springer
13 years 7 days ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...