1986
Correctness proofs distributed termination algorithms
Publication
Publication
ACM Transactions on Programming Languages and Systems , Volume 8 p. 388- 405
Additional Metadata | |
---|---|
A.C.M. | |
ACM Transactions on Programming Languages and Systems | |
Apt, K. (1986). Correctness proofs distributed termination algorithms. ACM Transactions on Programming Languages and Systems, 8, 388–405. |