{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T10:17:40Z","timestamp":1729678660254,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csd.2004.1309124","type":"proceedings-article","created":{"date-parts":[[2004,11,12]],"date-time":"2004-11-12T19:14:14Z","timestamp":1100286854000},"page":"135-144","source":"Crossref","is-referenced-by-count":3,"title":["Translating Erlang to \u03bcCRL"],"prefix":"10.1109","author":[{"given":"T.","family":"Arts","sequence":"first","affiliation":[]},{"given":"C.B.","family":"Earle","sequence":"additional","affiliation":[]},{"given":"J.J.","family":"Sanchez Penas","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","first-page":"78","article-title":"Efficient compilation of pattern matching","author":"wadler","year":"1987","journal-title":"The Implementation of Functional Programming Languages"},{"key":"18","article-title":"SEN-RO130, manual for the ?CRL tool set (version 2.8.2)","author":"wouters","year":"2001","journal-title":"Technical Report"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/319301.319317"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/940880.940883"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/317765.317908"},{"key":"14","first-page":"8807","volume":"75","year":"1989","journal-title":"LOTOSA Formal Description Technique Based on the Temporal Ordering of Observational Behaviour"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050043"},{"journal-title":"Design and Validation of Computer Protocols","year":"1991","author":"holzmann","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/592849.592856"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-003-0114-9"},{"journal-title":"Concurrent Programming in Erlang","year":"1996","author":"armstrong","key":"1"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44685-0_5","article-title":"Using the Bandera tool set to model-check properties of concurrent Java software","volume":"2154","author":"hatcliff","year":"2001","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"A Framework for Reasoning about Erlang Code","year":"2001","author":"fredlund","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/s100090100071"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2000.870490"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-7552(98)00282-7"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044482830-9\/50035-7"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2009.5185377"}],"event":{"name":"Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004.","location":"Hamilton, ON, Canada"},"container-title":["Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9149\/29052\/01309124.pdf?arnumber=1309124","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T07:51:50Z","timestamp":1497599510000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1309124\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/csd.2004.1309124","relation":{},"subject":[]}}