1980
A proof system for communicating sequential processes
Publication
Publication
ACM Transactions on Programming Languages and Systems , Volume 2 - Issue 3 p. 359- 386
Additional Metadata | |
---|---|
A.C.M. | |
ACM Transactions on Programming Languages and Systems | |
Apt, K., Francez, N., & de Roever, W. P. (1980). A proof system for communicating sequential processes. ACM Transactions on Programming Languages and Systems, 2(3), 359–386. |