{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:28:05Z","timestamp":1729664885339,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/sefm.2003.1236219","type":"proceedings-article","created":{"date-parts":[[2004,1,23]],"date-time":"2004-01-23T23:33:03Z","timestamp":1074900783000},"page":"173-181","source":"Crossref","is-referenced-by-count":5,"title":["Modelling Java concurrency with Object-Z"],"prefix":"10.1109","author":[{"given":"R.","family":"Duke","sequence":"first","affiliation":[]},{"given":"L.","family":"Wildman","sequence":"additional","affiliation":[]},{"given":"B.","family":"Long","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2003.1213512"},{"journal-title":"Concurrency State Models and Java Programs","year":"1999","author":"magee","key":"ref11"},{"journal-title":"The Theory and Practice of Concurrency","year":"1997","author":"roscoe","key":"ref12"},{"journal-title":"The Object-ZSpecificationLanguage","year":"2000","author":"smith","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/PDSE.2000.847856"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1145\/225014.225028","article-title":"a compact petri net representation for concurrent programs","author":"dwyer","year":"1995","journal-title":"1995 17th International Conference on Software Engineering icse"},{"journal-title":"Formal Object Oriented Specification Using Object-Z","year":"2000","author":"duke","key":"ref3"},{"journal-title":"Specification Case Studies","year":"1993","author":"hayes","key":"ref6"},{"journal-title":"The Java Language Specification","year":"2002","author":"gosling","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1205182"},{"journal-title":"The Java Virtual Machine Specification","year":"1999","author":"lindholm","key":"ref7"},{"journal-title":"An Do Specification-based testing of concurrent programs","year":"2002","key":"ref2"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1002\/spe.4380080607","article-title":"Testing of Monitors","volume":"8","author":"brinch","year":"1978","journal-title":"Software -Practice and Experience"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2003.1213262"}],"event":{"name":"1st IEEE International Conference Software Engineering and Formal Methods. SEFM'03","start":{"date-parts":[[2003,9,22]]},"location":"Brisbane, Queensland, Australia","end":{"date-parts":[[2003,9,27]]}},"container-title":["First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8747\/27706\/01236219.pdf?arnumber=1236219","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T23:18:36Z","timestamp":1497568716000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1236219\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/sefm.2003.1236219","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}