6 search results - page 2 / 2 » sbmf 2010 |
175
click to vote
SBMF
2010
Springer
14 years 9 months 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...