Model Checking a Cache Coherence Protocol for a Java DSM Implementation

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

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 proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings
Publisher	IEEE Computer Society
Pages	238
Publication status	Published - 2003

Bibliographical note

DBLP:conf/ipps/PangFHV03

Persistent URL (handle)

Persistent link

Cite this

@inproceedings{9060872ba2f341cea45614588e2cdffe,

title = "Model Checking a Cache Coherence Protocol for a Java DSM Implementation",

author = "J. Pang and W.J. Fokkink and R.F.H. Hofman and R.S. Veldema",

note = "DBLP:conf/ipps/PangFHV03 ",

year = "2003",

language = "English",

pages = "238",

booktitle = "17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings",

publisher = "IEEE Computer Society",

}

Model Checking a Cache Coherence Protocol for a Java DSM Implementation. / Pang, J.; Fokkink, W.J.; Hofman, R.F.H. et al.
17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings. IEEE Computer Society, 2003. p. 238.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Model Checking a Cache Coherence Protocol for a Java DSM Implementation

AU - Pang, J.

AU - Fokkink, W.J.

AU - Hofman, R.F.H.

AU - Veldema, R.S.

N1 - DBLP:conf/ipps/PangFHV03

PY - 2003

Y1 - 2003

M3 - Conference contribution

SP - 238

BT - 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings

PB - IEEE Computer Society

ER -