{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T15:13:46Z","timestamp":1725462826277},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005,11]]},"DOI":"10.1109\/mtv.2005.5","type":"proceedings-article","created":{"date-parts":[[2006,12,18]],"date-time":"2006-12-18T20:05:00Z","timestamp":1166472300000},"page":"12-22","source":"Crossref","is-referenced-by-count":0,"title":["An Introduction to the Plasma Language"],"prefix":"10.1109","author":[{"given":"Brian","family":"Kahne","sequence":"first","affiliation":[]},{"given":"Aseem","family":"Gupta","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Wilson","sequence":"additional","affiliation":[]},{"given":"Nikil","family":"Dutt","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Tools And Techniques For Building Fast Portable Threads Packages","year":"1993","author":"keppel","key":"13"},{"journal-title":"Galaxy Publishing","year":"2002","author":"bhasker","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193229"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/217838.217868"},{"journal-title":"SystemVerilog Language Reference Manual 3 1a","year":"0","author":"accellera","key":"3"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"2"},{"journal-title":"Occam 2 Reference Manual","year":"1988","author":"hoare","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/4472.4478"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155109"},{"journal-title":"System Design with SystemC","year":"2002","author":"grotker","key":"6"},{"year":"0","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4515-6"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/240964.240981"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380180902"}],"event":{"name":"2005 Sixth International Workshop on Microprocessor Test and Verification","start":{"date-parts":[[2005,11,3]]},"location":"Austin, TX, USA","end":{"date-parts":[[2005,11,3]]}},"container-title":["2005 Sixth International Workshop on Microprocessor Test and Verification"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4022212\/4022213\/04022223.pdf?arnumber=4022223","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T17:06:36Z","timestamp":1489597596000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4022223\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,11]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/mtv.2005.5","relation":{},"ISSN":["1550-4093"],"issn-type":[{"type":"print","value":"1550-4093"}],"subject":[],"published":{"date-parts":[[2005,11]]}}}