{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:09:35Z","timestamp":1725451775664},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/words.2003.1267507","type":"proceedings-article","created":{"date-parts":[[2004,6,30]],"date-time":"2004-06-30T19:38:21Z","timestamp":1088624301000},"page":"187-187","source":"Crossref","is-referenced-by-count":0,"title":["A Guided Tour on Total Order Specifications"],"prefix":"10.1109","author":[{"given":"S.","family":"Cimmino","sequence":"first","affiliation":[]},{"given":"C.","family":"Marchetti","sequence":"additional","affiliation":[]},{"given":"R.","family":"Baldoni","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/112600.112622"},{"journal-title":"The ensemble system","year":"1998","author":"hayden","key":"ref11"},{"key":"ref12","first-page":"119","article-title":"Specifications and proofs for ensemble layers","author":"hickey","year":"1999","journal-title":"5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref14","article-title":"Replication Management Using the State Machine Approach","author":"schneider","year":"1993","journal-title":"Distributed Systems"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/RELDIS.1995.526218"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/312203.312207"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/3-540-61769-8_8","article-title":"Simulating Reliable Links with Unreliable Links in the Presence of Process Crashes","author":"basu","year":"1996","journal-title":"Proc Distributed Algorithms (WDAG 96)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/503112.503113"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(19990725)29:9<741::AID-SPE259>3.0.CO;2-I"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2001.941428"},{"journal-title":"Agreement-Related Problems From Semi-Passive Replication to Totally Ordered Broadcast","year":"2000","author":"d\u00e8fago","key":"ref7"},{"journal-title":"Design and Implementation of a Reliable Group Communication Toolkit for Java","year":"1998","author":"ban","key":"ref2"},{"journal-title":"The Spread Wide Area Group Communication System","year":"1998","author":"amir","key":"ref1"},{"journal-title":"Probabilistic Atomic Broadcast Technical Report HPL-2002-69","year":"2001","author":"felber","key":"ref9"}],"event":{"name":"The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS' 03)","location":"Anacapri, Italy"},"container-title":["The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS' 03)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9690\/30574\/01410962.pdf?arnumber=1410962","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T08:26:46Z","timestamp":1497601606000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1410962\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/words.2003.1267507","relation":{},"subject":[]}}