1984
Modeling the distributed termination convention of CSP
Publication
Publication
ACM Transactions on Programming Languages and Systems , Volume 6 p. 370- 379
Additional Metadata | |
---|---|
A.C.M. | |
ACM Transactions on Programming Languages and Systems | |
Apt, K., & Francez, N. (1984). Modeling the distributed termination convention of CSP. ACM Transactions on Programming Languages and Systems, 6, 370–379. |