{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:50:36Z","timestamp":1725555036960},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icdcs.2003.1203495","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T16:27:43Z","timestamp":1087921663000},"page":"450-457","source":"Crossref","is-referenced-by-count":0,"title":["Modular composition and verification of transaction processing protocols"],"prefix":"10.1109","author":[{"given":"V.","family":"Janarthanan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Sinha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1996.534604"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/SPDP.1995.530658"},{"key":"ref10","first-page":"133","article-title":"Non Blocking Commit Protocols","author":"skeen","year":"1981","journal-title":"Proc of the ACM IntI Conf on the Management of Data"},{"key":"ref6","article-title":"Modular Composition and Verification of Transaction Processinges Protocols Using Category Theory","author":"janarthanan","year":"2003","journal-title":"Technical Report"},{"key":"ref11","article-title":"A Formal Model of Crash Recovery in a Distributed System","author":"stonebraker","year":"1983","journal-title":"IEEE Trans on Soft Eng"},{"key":"ref5","first-page":"89","article-title":"Mechanical Verification of Transaction Processing Systems","author":"hooman","year":"2000","journal-title":"3rd IEEE International Conference on Formal Engineering Methods"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/3-540-60117-1_22","article-title":"Specware(TM): Formal Support for Composing Software","author":"srinivas","year":"1995","journal-title":"Proceedings of the Conference on Mathematics of Program Construction"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2001.966818"},{"key":"ref7","article-title":"Fault-Tolerant Distributed Systems: A Modular Approach to the Non-Blocking Atomic Commitment Problem","author":"raynal","year":"1996","journal-title":"INRIA TR-2973"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61284-8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICDSC.2001.918955"},{"key":"ref1","article-title":"Non-blocking Atomic Commitment","author":"babaoglu","year":"1993","journal-title":"Distributed Systems"}],"event":{"name":"23rd International Conference on Distributed Computing Systems, 2003.","location":"Providence, Rhode Island, USA"},"container-title":["23rd International Conference on Distributed Computing Systems, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8559\/27093\/01203495.pdf?arnumber=1203495","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T04:15:32Z","timestamp":1497586532000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1203495\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/icdcs.2003.1203495","relation":{},"subject":[]}}