1985
Correctness proofs of distributed termination algorithms
Publication
Publication
Additional Metadata | |
---|---|
Springer | |
NATO ASI series. Serie F: computer and systems sciences | |
Apt, K. (1985). Correctness proofs of distributed termination algorithms. In NATO ASI series. Serie F: computer and systems sciences. Springer. |