{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,30]],"date-time":"2022-12-30T07:49:11Z","timestamp":1672386551269},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[1988,11,1]],"date-time":"1988-11-01T00:00:00Z","timestamp":594345600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Algorithmica"],"published-print":{"date-parts":[[1988,11]]},"DOI":"10.1007\/bf01762124","type":"journal-article","created":{"date-parts":[[2005,6,16]],"date-time":"2005-06-16T10:22:38Z","timestamp":1118917358000},"page":"393-420","source":"Crossref","is-referenced-by-count":7,"title":["A technique for constructing highly available services"],"prefix":"10.1007","volume":"3","author":[{"given":"Rivka","family":"Ladin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Liskov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liuba","family":"Shrira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01762124_CR1","doi-asserted-by":"crossref","unstructured":"Birman, K., and Joseph, T. Exploiting Virtual Synchrony in Distributed Systems.Proc. of the Eleventh ACM Symposium on Operating Systems Principles, November, 1987, pp. 123\u2013138.","DOI":"10.1145\/41457.37515"},{"issue":"4","key":"BF01762124_CR2","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1145\/358468.358487","volume":"25","author":"A. Birrell","year":"1982","unstructured":"Birrell, A., Levin, R., Needham, R., and Schroeder, M., Grapevine: An Exercise in Distributed Computing.Communications of the Association for Computing Machinery 25, 4 (1982), 260\u2013274.","journal-title":"Communications of the Association for Computing Machinery"},{"key":"BF01762124_CR3","doi-asserted-by":"crossref","unstructured":"El-Abbadi, A., Skeen, D., and Cristian, F. An Efficient Fault-Tolerant Protocol for Replicated Data Management.Proc. of the Fourth ACM Symposium on Principles of Database Systems, March, 1985, pp. 215\u2013229.","DOI":"10.1145\/325405.325443"},{"key":"BF01762124_CR4","doi-asserted-by":"crossref","unstructured":"El-Abbadi, A., and Toueg, S. Maintaining Availability in Partitioned Replicated Databases.Proc. of the Fifth ACM Symposium on Principles of Database Systems, March, 1986, pp. 240\u2013251.","DOI":"10.1145\/6012.15418"},{"key":"BF01762124_CR5","doi-asserted-by":"crossref","unstructured":"Fischer, M. J., and Michael, A. Sacrificing Serializability to Attain High Availability of Data in an Unreliable Network.Proc. of the Symposium on Principles of Database Systems, ACM, March, 1982, pp. 70\u201375.","DOI":"10.1145\/588111.588124"},{"key":"BF01762124_CR6","doi-asserted-by":"crossref","unstructured":"Gifford, D. K. Weighted Voting for Replicated Data.Proc. of the Seventh Symposium on Operating Systems Principles, December, 1979, pp. 150\u2013162.","DOI":"10.1145\/800215.806583"},{"key":"BF01762124_CR7","series-title":"Lecture Notes in Computer Science, Vol. 60","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/3-540-08755-9_9","volume-title":"Operating Systems\u2014An Advanced Course","author":"J. N. Gray","year":"1978","unstructured":"Gray, J. N. Notes on Data Base Operating Systems. InOperating Systems\u2014An Advanced Course, Bayer, R., Graham, R. M., and Seegmuller, G. (Eds.). Lecture Notes in Computer Science, Vol. 60. Springer-Verlag, Berlin, 1978, pp. 393\u2013481."},{"key":"BF01762124_CR8","volume-title":"S.M. Thesis","author":"D. Hwang","year":"1987","unstructured":"Hwang, D. Constructing a Highly-Available Location Service for a Distributed Environment. S.M. Thesis, M.I.T. Department of Electrical Engineering and Computer Science, Cambridge, MA, December, 1987."},{"key":"BF01762124_CR9","volume-title":"Crash Recovery in a Distributed Data Storage System","author":"B. W. Lampson","year":"1979","unstructured":"Lampson, B. W., and Sturgis, H. E. Crash Recovery in a Distributed Data Storage System. Xerox Research Center, Palo Alto, CA, 1979."},{"key":"BF01762124_CR10","volume-title":"Overview of the Argus Language and System. Programming Methodology Group Memo 40","author":"B. Liskov","year":"1984","unstructured":"Liskov, B. Overview of the Argus Language and System. Programming Methodology Group Memo 40, M.I.T. Laboratory for Computer Science, Cambridge, MA, February, 1984."},{"key":"BF01762124_CR11","doi-asserted-by":"crossref","unstructured":"Liskov, B., and Ladin, R. Highly-Available Distributed Services and Fault-Tolerant Distributed Garbage Collection.Proc. of the Fifth ACM Symposium on Principles of Distributed Computing, August, 1986, pp. 29\u201339.","DOI":"10.1145\/10590.10593"},{"issue":"3","key":"BF01762124_CR12","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1145\/2166.357215","volume":"5","author":"B. Liskov","year":"1983","unstructured":"Liskov, B., and Scheifler, R. W., Guardians and Actions: Linguistic Support for Robust, Distributed Programs.ACM Transactions on Programming Languages and Systems 5, 3 (1983), 381\u2013404.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"BF01762124_CR13","volume-title":"Orphan Detection. Programming Methodology Group Memo 53","author":"B. Liskov","year":"1987","unstructured":"Liskov, B., Scheifler, R., Walker, E., and Weihl, W. Orphan Detection. Programming Methodology Group Memo 53, M.I.T. Laboratory for Computer Science, Cambridge, MA, 1987. Also published inProc. of the Seventeenth International Symposium on Fault-Tolerant Computing, July, 1987, pp. 2\u20137."},{"key":"BF01762124_CR14","series-title":"Technical Report M1T\/LCS\/TR335","volume-title":"Synchronizing Clocks in a Distributed System","author":"J. Lundelius","year":"1984","unstructured":"Lundelius, J. Synchronizing Clocks in a Distributed System. Technical Report M1T\/LCS\/TR335, M.I.T. Laboratory for Computer Science, Cambridge, MA, 1984."},{"key":"BF01762124_CR15","volume-title":"Ph.D. Thesis","author":"K. Marzullo","year":"1983","unstructured":"Marzullo, K. Loosely-Coupled Distributed Services: A Distributed Time Service. Ph.D. Thesis, Stanford University, Stanford, CA, 1983."},{"key":"BF01762124_CR16","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1109\/TSE.1983.236733","volume":"9","author":"D. S. Parker","year":"1983","unstructured":"Parker, D. S., Popek, G. J., Rudisin, G., Stoughton, A., Walker, B., Walton, E., Chow, J., Edwards, D., Kiser, S., and Kline, C., Detection of Mutual Inconsistency in Distributed Systems.IEEE Transactions on Software Engineering 9 (1983), 240\u2013247.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"BF01762124_CR17","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1145\/357369.357371","volume":"1","author":"R. D. Schlichting","year":"1983","unstructured":"Schlichting, R. D., and Schneider, F. B., Fail-Stop Processors: An Approach to Designing Fault-Tolerant Computing Systems.ACM Transactions on Computing Systems 1, 3 (1983), 222\u2013238.","journal-title":"ACM Transactions on Computing Systems"},{"key":"BF01762124_CR18","series-title":"Technical Report MIT\/LCS\/TR326","volume-title":"Orphan Detection in the Argus System","author":"E. W. Walker","year":"1984","unstructured":"Walker, E. W. Orphan Detection in the Argus System. Technical Report MIT\/LCS\/TR326, M.I.T. Laboratory for Computer Science, Cambridge, MA, June, 1984."},{"issue":"1","key":"BF01762124_CR19","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1109\/TSE.1987.232835","volume":"13","author":"W. Weihl","year":"1987","unstructured":"Weihl, W., Distributed Version Management for Read-only Actions.IEEE Transactions on Software Engineering, Special Issue on Distributed Systems,13, 1 (1987), 55\u201364.","journal-title":"IEEE Transactions on Software Engineering, Special Issue on Distributed Systems"},{"key":"BF01762124_CR20","doi-asserted-by":"crossref","unstructured":"Wuu, G. T. J., and Bernstein, A. J. Efficient Solutions to the Replicated Log and Dictionary Problems.Proc. of the Third Annual Symposium on Principles of Distributed Computing, August, 1984, pp. 233\u2013242.","DOI":"10.1145\/800222.806750"}],"container-title":["Algorithmica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01762124.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01762124\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01762124","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T19:26:43Z","timestamp":1586287603000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01762124"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,11]]},"references-count":20,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1988,11]]}},"alternative-id":["BF01762124"],"URL":"https:\/\/doi.org\/10.1007\/bf01762124","relation":{},"ISSN":["0178-4617","1432-0541"],"issn-type":[{"value":"0178-4617","type":"print"},{"value":"1432-0541","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,11]]}}}