The derivation of graph marking algorithms from distributed termination detection protocols

Authors:
G. Tel;R. B. Tan;J. van Leeuwen
Affiliations:
Univ. of Utrecht, Utrecht, The Netherlands;Univ. of Utrecht, Utrecht, The Netherlands;Univ. of Utrecht, Utrecht, The Netherlands
Venue:
Science of Computer Programming
Year:
1988

Citing 0
Cited 4

The derivation of distributed termination detection algorithms from garbage collection schemes

ACM Transactions on Programming Languages and Systems (TOPLAS)
An introduction to assertional reasoning for concurrent systems

ACM Computing Surveys (CSUR)
Development of a Class of Distributed Termination Detection Algorithms

IEEE Transactions on Knowledge and Data Engineering
Strong stable properties in distributed systems

Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract