{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:27:16Z","timestamp":1729668436891,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1109\/ipdps.2008.4536312","type":"proceedings-article","created":{"date-parts":[[2008,6,6]],"date-time":"2008-06-06T16:44:52Z","timestamp":1212770692000},"page":"1-12","source":"Crossref","is-referenced-by-count":4,"title":["A deterministic multi-way rendezvous library for haskell"],"prefix":"10.1109","author":[{"given":"Nalini","family":"Vasudevan","sequence":"first","affiliation":[]},{"given":"Stephen A.","family":"Edwards","sequence":"additional","affiliation":[]},{"given":"Satnam","family":"Singh","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1996.0107"},{"key":"2","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/11531142_13","article-title":"the essence of data access in cu","volume":"3586","author":"bierman","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"year":"1991","author":"roe","key":"10"},{"key":"1","first-page":"288","article-title":"heuristics for finding concurrent bugs","author":"ben-asher","year":"2003","journal-title":"Proc Int Parallel Distrib Process Symp (IPDPS)"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"7"},{"key":"6","first-page":"48","article-title":"composable memory transactions","author":"harris","year":"2005","journal-title":"Proceedings of Principles and Practice of Parallel Programming (PPoPP)"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2006.878473"},{"key":"4","first-page":"65","article-title":"lock free data structures using stm in haskell","author":"discolo","year":"2006","journal-title":"Proceedings of Functional and Logic Programming (FLOPS) volume 3945 of Lecture Notes in Computer Science"},{"key":"9","first-page":"471","article-title":"the semantics of a simple language for parallel programming","volume":"74","author":"kahn","year":"1974","journal-title":"Information Processing 74 Proceedings of IFIP Congress"},{"key":"8","first-page":"295","article-title":"concurrent haskell","author":"jones","year":"1996","journal-title":"Proc Symp Principles of Programming Languages"},{"year":"0","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176908"}],"event":{"name":"Distributed Processing Symposium (IPDPS)","start":{"date-parts":[[2008,4,14]]},"location":"Miami, FL, USA","end":{"date-parts":[[2008,4,18]]}},"container-title":["2008 IEEE International Symposium on Parallel and Distributed Processing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4519061\/4536075\/04536312.pdf?arnumber=4536312","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T08:55:16Z","timestamp":1497776116000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4536312\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/ipdps.2008.4536312","relation":{},"ISSN":["1530-2075"],"issn-type":[{"type":"print","value":"1530-2075"}],"subject":[],"published":{"date-parts":[[2008,4]]}}}