Model checking a cache coherence protocol of a Java DSM implementation

J. Pang, W.J. Fokkink, R. Hofman, R.S. Veldema

Research output: Contribution to JournalArticleAcademicpeer-review

Fingerprint

Dive into the research topics of 'Model checking a cache coherence protocol of a Java DSM implementation'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science