Consistent modeling of distributed mutual exclusion protocol using optimistic simulation

M. Y.H. Low, D. M. Nicol

Research output: Contribution to conferencePaperpeer-review

Fingerprint

Dive into the research topics of 'Consistent modeling of distributed mutual exclusion protocol using optimistic simulation'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Mathematics