4743 search results - page 1 / 949 » The PlusCal Algorithm Language |
267
click to vote
SBMF
2010
Springer
15 years 1 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...
159
Voted
VL
1993
IEEE
15 years 11 months ago
1993
IEEE
130
Voted
IFIP
1994
Springer
15 years 11 months ago
1994
Springer
