Model Checking a Cache Coherence Protocol for a Java DSM Implementation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald Veldema. Model Checking a Cache Coherence Protocol for a Java DSM Implementation. In 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings. pages 238, IEEE Computer Society, 2003. [doi]

This author has not been identified. Look up 'Jun Pang' in GoogleIdentified as Wan Fokkink This author has not been identified. Look up 'Rutger F. H. Hofman' in GoogleThis author has not been identified. Look up 'Ronald Veldema' in Google

runs on WebDSL