{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:22:26Z","timestamp":1729617746336,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1109\/acsd.2007.47","type":"proceedings-article","created":{"date-parts":[[2007,8,7]],"date-time":"2007-08-07T16:52:19Z","timestamp":1186505539000},"page":"23-28","source":"Crossref","is-referenced-by-count":2,"title":["Composable Guarded Atomic Actions: a Bridging Model for SoC Design"],"prefix":"10.1109","author":[{"given":"Rishiyur S.","family":"Nikhil","sequence":"first","affiliation":[]}],"member":"263","reference":[{"year":"1988","author":"chandy","article-title":"Parallel Program Design: A Foundation","key":"ref4"},{"year":"2000","author":"berry","article-title":"The Esterel v5 Language Primer, Version v5 _91, Centre de Mathematiques Appliquees, Ecole des Mines and INRIA","key":"ref3"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1007\/3-540-10571-9_11","article-title":"Atomic Transactions","author":"lampson","year":"1981","journal-title":"Distributed Systems-Architecture and Implementation An Advanced Course Springer Verlag Lecture Notes in Computer Science 105"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/MEMCOD.2007.371249"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/ICCAD.2005.1560170"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/MEMCOD.2005.1487887"},{"year":"2001","journal-title":"Proc Formal Methods for Increasing Software Productivity (FME 2001)","article-title":"Proofs of Correctness of Cache-Coherence Protocols","key":"ref12"},{"key":"ref8","first-page":"1","article-title":"Term Rewriting Systems","volume":"2","author":"klop","year":"1992","journal-title":"Handbook of Logic in Computer Science"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/ICCAD.2000.896524"},{"key":"ref2","first-page":"95","article-title":"Bluespec Language Definition","author":"augustsson","year":"2001"},{"year":"2002","author":"lamport","article-title":"Specifying Systems: The TLA + Language and Tools for Hardware and Software Engineers","key":"ref9"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1007\/3-540-48118-4_62"}],"event":{"name":"Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)","start":{"date-parts":[[2007,7,10]]},"location":"Bratislava, Slovakia","end":{"date-parts":[[2007,7,13]]}},"container-title":["Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4276249\/4276250\/04276261.pdf?arnumber=4276261","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T17:47:32Z","timestamp":1497721652000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4276261\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/acsd.2007.47","relation":{},"ISSN":["1550-4808"],"issn-type":[{"type":"print","value":"1550-4808"}],"subject":[],"published":{"date-parts":[[2007,7]]}}}