{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T21:45:54Z","timestamp":1725399954829},"reference-count":28,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ipdps.2003.1213433","type":"proceedings-article","created":{"date-parts":[[2004,3,22]],"date-time":"2004-03-22T14:34:28Z","timestamp":1079966068000},"page":"10","source":"Crossref","is-referenced-by-count":1,"title":["Model checking a cache coherence protocol for a Java DSM implementation"],"prefix":"10.1109","author":[{"family":"Jun Pang","sequence":"first","affiliation":[]},{"given":"W.","family":"Fokkink","sequence":"additional","affiliation":[]},{"given":"R.","family":"Hofman","sequence":"additional","affiliation":[]},{"given":"R.","family":"Veldema","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1016\/S1567-8326(02)00038-3"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/978-1-4471-2120-6_2","article-title":"The syntax and semantics of µCRL","author":"groote","year":"1995","journal-title":"Proc 1st Workshop on the Algebra of Communicating Processes Workshops in Computing Series"},{"key":"ref12","first-page":"301","article-title":"Verifying sequential consistency on shared memory multiprocessor systems","author":"henzinger","year":"1999","journal-title":"Proc 11th Conference on Computer-Aided Verification LNCS 1633"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1145\/508791.508859"},{"key":"ref14","first-page":"115","article-title":"TreadMarks: distributed shared memory on standard workstations and operating systems","author":"keleher","year":"1994","journal-title":"Winter 1994 USENIX Conference"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/TC.1979.1675439"},{"key":"ref16","first-page":"1","article-title":"Improving the Java memory model using CRF","author":"arvind","year":"2000","journal-title":"Proc 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems Languages and Applications"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1145\/376656.376806"},{"key":"ref18","first-page":"65","article-title":"Efficient on-the-fly model-checking for regular alternation-free mu-calculus","author":"mateescu","year":"2000","journal-title":"Proc 5th Workshop on Formal Methods for Industrial Critical Systems"},{"key":"ref19","first-page":"274","article-title":"Formal specification of JavaSpaces™ architecture using µCRL","author":"pol","year":"2002","journal-title":"Proc 5th Conference on Coordination Models and Languages LNCS 2315"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1145\/238721.238763"},{"key":"ref4","article-title":"Formal Systems Specification: The RPC-Memory Specification Case Study","author":"broy","year":"1996","journal-title":"LNCS 1169"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1145\/583810.583832"},{"key":"ref3","first-page":"250","article-title":"µCRL: A toolset for analysing algebraic specifications","author":"blom","year":"2001","journal-title":"Proc 13th Conference on Computer Aided Verification LNCS 2102"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/125826.125941"},{"key":"ref5","first-page":"53","article-title":"Automatic verification of parameterized cache coherence protocols","author":"delzanno","year":"2000","journal-title":"Proc 12th Conference on Computer Aided Verification LNCS 1855"},{"key":"ref8","first-page":"437","article-title":"CADP - a protocol validation and verification toolbox","author":"fernandez","year":"1996","journal-title":"Proc 8th Conference on Computer-Aided Verification LNCS 1102"},{"key":"ref7","first-page":"1","article-title":"Refinement and verification applied to an in-flight data acquisition unit","author":"fokkink","year":"2002","journal-title":"Proc 13th Conference on Concurrency Theory LNCS 2421"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624193","article-title":"volume 18 of Cambridge Tracts in Theoretical Computer Science","author":"baeten","year":"1990","journal-title":"Process Algebra"},{"year":"1996","author":"gosling","journal-title":"The Java Language Specification","key":"ref9"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1109\/CSD.2001.981762"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/71.879780"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1145\/305138.305187"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1145\/581396.581399"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1145\/376656.376842"},{"key":"ref23","first-page":"43","article-title":"Proofs of correctness of cache-coherence protocols","author":"stoy","year":"2001","journal-title":"Formal Methods for Increasing Software Productivity Proc Symposium of Formal Methods Europe LNCS 2021"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1109\/APSEC.2001.991455"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1145\/379539.379578"}],"event":{"acronym":"IPDPS-03","name":"International Parallel and Distributed Processing Symposium (IPDPS 2003)","location":"Nice, France"},"container-title":["Proceedings International Parallel and Distributed Processing Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8608\/27277\/01213433.pdf?arnumber=1213433","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,25]],"date-time":"2018-04-25T02:24:34Z","timestamp":1524623074000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1213433\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/ipdps.2003.1213433","relation":{},"subject":[]}}