{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:52Z","timestamp":1725663172664},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540503026"},{"type":"electronic","value":"9783540459651"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50302-1_13","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:19:49Z","timestamp":1330201189000},"page":"175-192","source":"Crossref","is-referenced-by-count":8,"title":["Towards a theory of replicated processing"],"prefix":"10.1007","author":[{"given":"Luigi V.","family":"Mancini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Pappalardo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"issue":"8","key":"13_CR1","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1109\/MC.1984.1659219","volume":"17","author":"A. Avizienis","year":"1984","unstructured":"Avizienis, A., Kelly, J.K.J., \u201cFault tolerance by design diversity: concepts and experiments\u201d, IEEE Computer, vol. 17, no. 8, pp. 67\u201380, Aug. 1984.","journal-title":"IEEE Computer"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Bird, R. S., \u201cThe promotion and accumulation strategies in transformational programming\u201d, ACM Transactions on Programming Languages and Systems, vol. 6, no. 4, Oct. 1984.","DOI":"10.1145\/1780.1781"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Cooper, E, \u201cReplicated distributed programs\u201d, Proc. of the 10th ACM Sym. on Operating Systems Principles, pp. 63\u201378, Washington, Dic. 1985.","DOI":"10.1145\/323647.323635"},{"key":"13_CR4","unstructured":"Goldberg, J., \u201cSIFT: A provable fault-tolerant computer for aircraft flight control\u201d, Inform. Processing 80 Proc. IFIP Congr., pp. 151\u2013156, Tokyo, Japan, Oct. 1980."},{"key":"13_CR5","unstructured":"Hoare, C.A.R., \u201cCommunicating sequential processes\u201d, Prentice Hall International, 1985."},{"key":"13_CR6","unstructured":"Koutny, M., and Mancini, L., \u201cSynchronizing events in replicated computations\u201d, Technical Report TR\/237, Computing Laboratory, University of Newcastle upon Tyne, June 1987 (to appear in The Journal of Systems and Software)."},{"issue":"2","key":"13_CR7","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0376-5075(78)90045-4","volume":"2","author":"L. Lamport","year":"1978","unstructured":"Lamport, L., \u201cThe implementation of reliable distributed multiprocess sustems\u201d, Computer Networks, pp. 95\u2013114, vol. 2, no. 2, May 1978.","journal-title":"Computer Networks"},{"issue":"7","key":"13_CR8","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L., \u201cTime, clocks and the ordering of events in a distributed system\u201d, Comm. ACM, vol. 21, no. 7, pp. 558\u2013565, July 1978.","journal-title":"Comm. ACM"},{"issue":"3","key":"13_CR9","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1145\/357172.357176","volume":"4","author":"L. Lamport","year":"1982","unstructured":"Lamport, L., Shostak, R., Pease, M., \u201cThe Byzantine Generals problem\u201d, ACM Transactions on Programming Languages and Systems, pp. 382\u2013401, vol. 4, no. 3, July 1982.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"13_CR10","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1147\/rd.62.0200","volume":"6","author":"R. E. Lyons","year":"1962","unstructured":"Lyons, R.E., Vanderkulk, W., \u201cThe use of triple-modular redundancy to improve computer reliability\u201d, IBM Journal of Research and Development, pp. 200\u2013209, vol. 6, no. 2, Apr. 1962.","journal-title":"IBM Journal of Research and Development"},{"issue":"1","key":"13_CR11","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1109\/TSE.1986.6312922","volume":"SE-12","author":"L. Mancini","year":"1986","unstructured":"Mancini, L., \u201cModular redundancy in a message passing system\u201d, IEEE Trans. Software Eng., pp. 79\u201386, vol. SE-12, no. 1, Jan. 1986.","journal-title":"IEEE Trans. Software Eng."},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Mancini, L., Koutny, M., \u201cFormal specification of N-modular redundancy\u201d, 1986 ACM Computer Science Conference, pp. 199\u2013204, Cincinnati, Ohio, Feb. 1986.","DOI":"10.1145\/324634.325389"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Mancini, L., Pappalardo, G., \u201cThe Join algorithm: ordering messages in replicated systems\u201d, Safecomp '86, pp. 51\u201355, Sarlat, France, Oct. 1986.","DOI":"10.1016\/B978-0-08-034801-8.50014-3"},{"key":"13_CR14","unstructured":"Mancini, L., Pappalardo G., \u201cOn resolving nondeterminism in replicated distributed systems\u201d, IFIP Conf. on Distributed Processing, Amsterdam, The Netherlands, Oct. 1987."},{"key":"13_CR15","unstructured":"Mancini, L., Pappalardo G., \u201cProving correctness properties of a replicated synchronous program\u201d, to appear in The Computer Journal."},{"key":"13_CR16","unstructured":"Mancini, L., Shrivastava, S.K., \u201cException handling in replicated systems with voting\u201d, 16th Int. Conf. on Fault Tolerant Computing, pp. 384\u2013389, Vienna, Austria, July 1986."},{"issue":"7","key":"13_CR17","doi-asserted-by":"crossref","first-page":"616","DOI":"10.1109\/TC.1982.1676059","volume":"C-31","author":"P. M. Melliar-Smith","year":"1982","unstructured":"Melliar-Smith, P.M., Schwartz, R., \u201cFormal specification and mechanical verification of SIFT: a fault-tolerant flight control system\u201d, IEEE Trans. on Computers, vol. C-31, no. 7, pp. 616\u2013630, July 1982.","journal-title":"IEEE Trans. on Computers"},{"issue":"2","key":"13_CR18","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/357162.357163","volume":"4","author":"F. B. Schneider","year":"1982","unstructured":"Schneider, F.B., \u201cSynchronization in distributed programs\u201d, ACM Transactions on Programming Languages and Systems, vol. 4, no. 2, pp. 125\u2013148, Apr. 1982.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"13_CR19","first-page":"444","volume":"190","author":"F. B. Schneider","year":"1985","unstructured":"Schneider, F.B., \u201cThe state machine approach\u201d, in Paul, M., and Siegert, H.J. (eds.), Distributed systems \u2014 methods and tools for specification, an advanced course, LNCS vol. 190, pp. 444\u2013454, Springer-Verlag, 1985.","journal-title":"LNCS"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50302-1_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:46Z","timestamp":1605647866000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50302-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540503026","9783540459651"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-50302-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}