Comments on "On the proof of a distributed algorithm" : always-true is not invariant

A.J.M. Gasteren, van, G. Tel

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)
3 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Comments on "On the proof of a distributed algorithm" : always-true is not invariant'. Together they form a unique fingerprint.

Computer Science

Mathematics