4743 search results - page 1 / 949 » The PlusCal Algorithm Language |
ICTAC
2009
Springer
14 years 10 days ago
2009
Springer
SBMF
2010
Springer
13 years 15 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...
VL
1996
IEEE
13 years 10 months ago
1996
IEEE
VL
1993
IEEE
13 years 10 months ago
1993
IEEE
IFIP
1994
Springer
13 years 10 months ago
1994
Springer
