
Process algebra with guards: Combining Hoare logic with process algebra
Jan Friso Groote, Alban PonseVolume:
6
Année:
1994
Langue:
english
Pages:
50
DOI:
10.1007/bf01221097
Fichier:
PDF, 2.39 MB
english, 1994