1983
Formal justification of a proof system for communication sequential processes
Publication
Publication
Journal of the ACM , Volume 30 p. 197- 216
Additional Metadata | |
---|---|
Journal of the ACM | |
Apt, K. (1983). Formal justification of a proof system for communication sequential processes. Journal of the ACM, 30, 197–216. |