{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:54:21Z","timestamp":1725634461507},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1109\/dsn.2008.4630075","type":"proceedings-article","created":{"date-parts":[[2008,9,26]],"date-time":"2008-09-26T15:10:29Z","timestamp":1222441829000},"page":"96-101","source":"Crossref","is-referenced-by-count":3,"title":["Experiences with formal specification of fault-tolerant file systems"],"prefix":"10.1109","author":[{"given":"Roxana","family":"Geambasu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Birrell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"MacCormick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"chain replication for high throughput and availability","author":"van renesse","year":"2004","journal-title":"Proc of OSDI"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2002.1018138"},{"key":"18","article-title":"a logic of file systems","author":"sivathanu","year":"2005","journal-title":"Proc of the USENIX Conference on File and Storage Technologies"},{"key":"15","article-title":"boxwood: abstractions as the foundation for storage infrastructure","author":"maccormick","year":"2004","journal-title":"Proc of OSDI"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1326542.1326543"},{"journal-title":"Specifying Systems","year":"2003","author":"lamport","key":"13"},{"journal-title":"TLA+ tools","year":"2007","author":"lamport","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022969405325"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/BF01786228"},{"key":"21","article-title":"using model checking to find serious file system errors","author":"yang","year":"2004","journal-title":"Proc of OSDI"},{"journal-title":"Formalizing the chain replication protocol","year":"2006","author":"bickford","key":"3"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(96)00020-2"},{"journal-title":"Modelling replication protocols with actions and constraints","year":"2003","author":"bhargavan","key":"2"},{"key":"1","article-title":"the existence of refinement mappings","author":"abadi","year":"1991","journal-title":"Theoretical"},{"year":"0","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294281"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/287000.287023"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICPADS.2000.857694"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/945449.945450"},{"year":"0","key":"8"}],"event":{"name":"2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN)","start":{"date-parts":[[2008,6,24]]},"location":"Anchorage, AK","end":{"date-parts":[[2008,6,27]]}},"container-title":["2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4610267\/4630050\/04630075.pdf?arnumber=4630075","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T15:37:26Z","timestamp":1489765046000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4630075\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/dsn.2008.4630075","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}