| 
|
QuoteRef: telG1_1993
topics >
all references >
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
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)
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)