Model Checking a Cache Coherence Protocol for a Java DSM Implementation

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

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publication17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings
PublisherIEEE Computer Society
Pages238
Publication statusPublished - 2003

Bibliographical note

DBLP:conf/ipps/PangFHV03

Cite this