History

for article: Chandy–Lamport algorithm