Cooperating proofs for distributed programs with multiparty interactions: Information processing letters Vol. 32, No. 5 (22 September 1989) pp. 235-242
Nissim FrancezVolume:
34
Year:
1990
DOI:
10.1016/0020-0190(90)90231-l
File:
PDF, 36 KB
1990