Design and verification of distributed recovery blocks with CSP

Wing Lok YEUNG, S. A. SCHNEIDER

Research output: Journal PublicationsJournal Article (refereed)peer-review

10 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Design and verification of distributed recovery blocks with CSP'. Together they form a unique fingerprint.

Computer Science