Map
Index
Random
Help
th

QuoteRef: telG1_1993

topics > all references > ThesaHelp: references t-z



ThesaHelp:
references t-z
ThesaHelp:
ACM references m-z
Topic:
memory management by garbage collection
Topic:
reliability of distributed systems
Topic:
safety, liveness, and system properties

Reference

Tel, G., Mattern, F., "The derivation of distributed termination detection algorithms from garbage collection schemes", ACM Transactions of Programming Languages and Systems, 15, 1, pp. 1-35, January 1993. Google

Quotations
abstract ;;Quote: detecting termination of distributed computations is equivalent to a garbage collection problem; can use to derive new termination algorithms
3 ;;Quote: both termination and garbage collection satisfy safety (if marked, it is terminated/garbage) and liveness (will mark if terminated/garbage)


Related Topics up

ThesaHelp: references t-z (309 items)
ThesaHelp: ACM references m-z (280 items)
Topic: memory management by garbage collection (113 items)
Topic: reliability of distributed systems (33 items)
Topic: safety, liveness, and system properties (22 items)

Collected barberCB 11/93
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.