4743 search results - page 1 / 949 » The PlusCal Algorithm Language |
64
Voted
ICTAC
2009
Springer
15 years 7 months ago
2009
Springer
156
click to vote
SBMF
2010
Springer
14 years 7 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...
VL
1996
IEEE
15 years 5 months ago
1996
IEEE
88
Voted
VL
1993
IEEE
15 years 4 months ago
1993
IEEE
67
Voted
IFIP
1994
Springer
15 years 4 months ago
1994
Springer
