1985
Correctness proofs of distributed termination algorithms
Publication
Publication
logics and models of concurrent systems , Volume F3
Additional Metadata | |
---|---|
Springer-Verlag | |
K.R. Apt (Krzysztof) | |
logics and models of concurrent systems | |
Apt, K. (Ed.). (1985). Correctness proofs of distributed termination algorithms. logics and models of concurrent systems, F3. |