{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:01:46Z","timestamp":1761487306003},"reference-count":79,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1994,5,1]],"date-time":"1994-05-01T00:00:00Z","timestamp":767750400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[1994,5]]},"DOI":"10.1007\/bf01088629","type":"journal-article","created":{"date-parts":[[2005,2,4]],"date-time":"2005-02-04T17:19:40Z","timestamp":1107537580000},"page":"289-316","source":"Crossref","is-referenced-by-count":36,"title":["Replica determinism in distributed real-time systems: A brief survey"],"prefix":"10.1007","volume":"6","author":[{"given":"Stefan","family":"Poledna","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"Ahamad, M., Dasgupta, P., LeBlanc, R. J., and Wilkes, C. T. 1987. Fault tolerant computing in object based distributed operating systems.Proc. 6th Symp. on Reliability in Distributed Software and Database Systems, pp. 115?125."},{"key":"CR2","first-page":"149","volume-title":"Proc. Compsac 77","author":"A. Avizienis","year":"1977","unstructured":"Avizienis, A., and Chen, L. 1977. On the Implementation of N-Version Programming for Software Fault-Tolerance During Programm Execution.Proc. Compsac 77, pp. 149?155. Chicago, IL: Computer Society Press of the IEEE."},{"key":"CR3","unstructured":"Babaoglu, O., and Drummond, R. 1984. Communication architectures for fast reliable broadcasts.Proc. 6th Symp. on Reliability in Distributed Software and Database Systems, pp. 2?10."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Babaoglu, O., Stephenson, P., and Drummond, R. 1988.Reliable Broadcasts and Communication Modells: Tradeoffs and Lower bounds. Distr. Comput. Springer-Verlag. Nr. 2. pp. 177?189.","DOI":"10.1007\/BF01872844"},{"key":"CR5","unstructured":"Barret, P. A., Hilborne, A. M., Bond, P. G., Seaton, D. T., Verissimo, P., Rodrigues, L., and Speirs, N. A. 1990. The Delta-4 extra performance architecture (XPA).Proc. 20th Int. Symp. on Fault-Tolerant Computing?FTCS 20, Chapel Hill, NC, pp. 481?488."},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Bartlet, J. 1981. A NonStop Kernel.Proc. 8th Symp. on Operating System Principles, pp. 22?29.","DOI":"10.1145\/800216.806587"},{"key":"CR7","unstructured":"Ben-Or, M. 1983. Another advantage of free choice: Completely asynchronous agreement protocols.Proc. 2nd ACM Annual Symp. on Principles of Distributed Computing, Montreal, Canada, pp. 27?30."},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Bernstein, P. 1988. Sequoia: A fault-tolerant tightly coupled multiprocessor for transaction processing.IEEE Computer, February: 37?45.","DOI":"10.1109\/2.17"},{"key":"CR9","unstructured":"Birman, K. P., and Joseph, T. A. 1987a. Exploiting virtual synchronity in distributed systems.Proc. 11th ACM Symp. on Operating System Principles, Austin, TX, pp. 123?128."},{"issue":"1","key":"CR10","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/7351.7478","volume":"5","author":"K. P. Birman","year":"1987","unstructured":"Birman, K. P., and Joseph, T. A. (1987b). Reliable communication in the presence of failures.ACM Trans. on Comp. Sys., 5(1):47?76.","journal-title":"ACM Trans. on Comp. Sys."},{"key":"CR11","first-page":"124","volume-title":"Proc. of the 4th Symp. on Reliability in Distributed Software and Database Systems","author":"K. P. Birman","year":"1984","unstructured":"Birman, K. P., Joseph, T. A., Raechle, T., and El Abbadi, A. 1984. Implementing fault-tolerant distributed objects.Proc. of the 4th Symp. on Reliability in Distributed Software and Database Systems. IEEE Computer Society in cooperation with ACM, Silver Spring, MD, pp. 124?133."},{"issue":"11","key":"CR12","doi-asserted-by":"crossref","first-page":"1481","DOI":"10.1109\/32.41339","volume":"15","author":"S. Brilliant","year":"1989","unstructured":"Brilliant, S., Knight, J., and Levenson, N. 1989. The consistent comparision problem in N-version software.IEEE Trans. Software Engineering, 15(11):1481?1485.","journal-title":"IEEE Trans. Software Engineering"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Budhiraja, N., Gopal, A., and Toueg, S. 1990. Early stopping distributed bidding and applications.Proc. 4th Int. Workshop on Distributed Algorithms, pp. 304?320. Springer Verlag, Lecture Notes in Computer Science 486.","DOI":"10.1007\/3-540-54099-7_21"},{"key":"CR14","first-page":"187","volume-title":"Proc. of the 3rd IFIP Int. Working Conf. on Dependable Computing for Critical Applications","author":"N. Budhiraja","year":"1992","unstructured":"Budhiraja, N., Marzullo, K., Schneider, F., and Toueg, S. 1992. Primary-backup protocols: Lower bounds and optimal implementations.Proc. of the 3rd IFIP Int. Working Conf. on Dependable Computing for Critical Applications, Mondello, Sicily, Italy, pp. 187?196."},{"key":"CR15","first-page":"147","volume":"4","author":"J. E. Burns","year":"1987","unstructured":"Burns, J. E., and Lynch, N. A. 1987. The Byzantine Firing Squad Problem.Advances in Computing Research, 4:147?161.","journal-title":"Advances in Computing Research"},{"issue":"4","key":"CR16","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1145\/142854.142865","volume":"26","author":"J. Cao","year":"1992","unstructured":"Cao, J., and Wang, K. C. 1992. An abstract model of rollback recovery control in distributed systems.Operating Systems Review, 26(4):62?76.","journal-title":"Operating Systems Review"},{"key":"CR17","unstructured":"Chandra, T., and Toueg, S. 1991. Unreliable failure detectors for asynchronous systems.Proc. 10th Annual ACM Symp. on Principles of Distributed Computing, Montreal, Canada, pp. 325?340."},{"issue":"3","key":"CR18","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1145\/989.357400","volume":"2","author":"J. M. Chang","year":"1984","unstructured":"Chang, J. M., and Maxemchuck, N. F. 1984. Reliable broadcast protocols.ACM Trans. on Comput. Sys., 2(3):251?273.","journal-title":"ACM Trans. on Comput. Sys."},{"key":"CR19","first-page":"28","volume-title":"Proc. of the 22th Int. Symp. on Fault-Tolerant Computing","author":"M. Ch\u00e9r\u00e8que","year":"1992","unstructured":"Ch\u00e9r\u00e8que, M., Powell, D., Reynier, P., Richier, J.-L., and Voiron, J. 1992. Active replication in Delta-4.Proc. of the 22th Int. Symp. on Fault-Tolerant Computing, IEEE Computer Society Press, Boston, MA, pp. 28?37."},{"key":"CR20","unstructured":"Coan, B. A., and Dwork, C. 1986. Simultaneity is harder than agreement.Proc. 5th Symp. on Relibility in Distributed Software and Database Systems, Los Angeles, CA, pp. 141?150."},{"key":"CR21","first-page":"11","volume-title":"Proc. of the 4th Symp. on Reliability in Distributed Software and Database Systems","author":"E. C. Cooper","year":"1984","unstructured":"Cooper, E. C. 1984. Circus: A replicated procedure call facility.Proc. of the 4th Symp. on Reliability in Distributed Software and Database Systems. IEEE Computer Society in cooperation with ACM, Silver Spring, MD, pp. 11?24."},{"key":"CR22","unstructured":"Cristian, F. 1988. Agreeing on who is present and who is absent in a synchronous computer system.Proc. Fault Tolerant Computing, IEEE Computer Society Press, pp. 206?211."},{"key":"CR23","volume-title":"Proc. Dependability of Resilient Computers","author":"F. Cristian","year":"1989","unstructured":"Cristian, F. 1989. Exception handling.Proc. Dependability of Resilient Computers. T. Anderson (Ed). Oxford: Blackwell."},{"issue":"3","key":"CR24","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF00365327","volume":"2","author":"F. Cristian","year":"1990","unstructured":"Cristian, F. 1990. Synchronous atomic broadcast for redundant broadcast channels.The Journal of Real-Time Systems, 2(3):195?212.","journal-title":"The Journal of Real-Time Systems"},{"issue":"2","key":"CR25","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1145\/102792.102801","volume":"34","author":"F. Cristian","year":"1991","unstructured":"Cristian, F. 1991. Understanding fault-tolerant distributed systems.Comm. of the ACM, 34(2):57?78.","journal-title":"Comm. of the ACM"},{"key":"CR26","first-page":"200","volume-title":"Proc. of the 15th Annual Int. Symp. on Fault-Tolerant Computing","author":"F. Cristian","year":"1985","unstructured":"Cristian, F., Aghili, H., Strong, R., and Dolev, D. 1985. Atomic broadcast: From simple message diffusion to Byzantine agreement.Proc. of the 15th Annual Int. Symp. on Fault-Tolerant Computing, IEEE Computer Society Press, Ann Arbor, MI, pp. 200?206."},{"issue":"1","key":"CR27","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1016\/0196-6774(82)90004-9","volume":"3","author":"D. Dolev","year":"1982","unstructured":"Dolev, D. 1982. The Byzantine generals strike again.Journal of Algorithms, 3(1):14?30.","journal-title":"Journal of Algorithms"},{"issue":"1","key":"CR28","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1145\/2455.214112","volume":"32","author":"D. Dolev","year":"1985","unstructured":"Dolev, D., and Reischuck, R. 1985. Bounds on information exchange for Byzantine agreement.Journal of the ACM, 32(1):191?204.","journal-title":"Journal of the ACM"},{"issue":"4","key":"CR29","doi-asserted-by":"crossref","first-page":"656","DOI":"10.1137\/0212045","volume":"12","author":"D. Dolev","year":"1983","unstructured":"Dolev, D., and Strong, H. 1983. Authenticated algorithms for Byzantine agreement.Siam Journal on Computing, 12(4):656?666.","journal-title":"Siam Journal on Computing"},{"issue":"1","key":"CR30","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/7531.7533","volume":"34","author":"D. Dolev","year":"1987","unstructured":"Dolev, D., Dwork, C., and Stockmeyer, L. 1987. On the minimal synchronism needed for distributed consensus.Journal of the ACM, 34(1):77?97.","journal-title":"Journal of the ACM"},{"issue":"4","key":"CR31","doi-asserted-by":"crossref","first-page":"720","DOI":"10.1145\/96559.96565","volume":"37","author":"D. Dolev","year":"1990","unstructured":"Dolev, D., Reischuck, R., and Strong, H. R. 1990. Early stopping in Byzantine agreement.Journal of the ACM, 37(4):720?741.","journal-title":"Journal of the ACM"},{"issue":"2","key":"CR32","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1145\/42282.42283","volume":"35","author":"C. Dwork","year":"1988","unstructured":"Dwork, C., Lynch, N., and Stockmeyer, L. 1988. Consensus in the presence of partial synchrony.Journal of the ACM, 35(2):288?323.","journal-title":"Journal of the ACM"},{"issue":"4","key":"CR33","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0020-0190(82)90033-3","volume":"14","author":"M. Fischer","year":"1982","unstructured":"Fischer, M., and Lynch, N. 1982. A lower bound for the time to assure interactive consistency.Information Processing Letters, 14(4):183?186.","journal-title":"Information Processing Letters"},{"issue":"2","key":"CR34","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1145\/3149.214121","volume":"32","author":"M. Fischer","year":"1985","unstructured":"Fischer, M., Lynch, N., and Paterson, M. 1985. Impossibility of distributed consensus with one faulty processor.Journal of the ACM, 32(2):374?382.","journal-title":"Journal of the ACM"},{"key":"CR35","doi-asserted-by":"crossref","unstructured":"Garcia-Molina, H., and Spauster, A. 1989. Message ordering in a multicast environment.Proc. 9th Int. Conf. on Distributed Computing Systems, IEEE Computer Society Press, pp. 354?361.","DOI":"10.1109\/ICDCS.1989.37965"},{"key":"CR36","unstructured":"Gopal, A., and Toueg, S. 1991. Inconsistency and Contamination.Proc. of the 10th ACM Symp. on Principles of Distributed Computing, Montreal, Canada, pp. 257?272."},{"key":"CR37","unstructured":"Huntsberger, T. 1992. Sensor fusion in a dynamic environment.Proc. on Sensor Fusion V, SPIE?The Int. Society for Optical Engineering, pp. 175?182."},{"key":"CR38","doi-asserted-by":"crossref","unstructured":"Kaashoek, M. F., and Tanenbaum, A. S. 1991. Group communication in the amoeba distributed operating system.Proc. 11th Int. Conf. on Distributed Computing Systems, Los Alamitos, CA, pp. 222?230.","DOI":"10.1109\/ICDCS.1991.148669"},{"issue":"4","key":"CR39","first-page":"394","volume":"37","author":"R. M. Kieckhafer","year":"1988","unstructured":"Kieckhafer, R. M., Thambidurai, P. M., Walter, C. J., and Finn, A. M. 1988. The MAFT architecture for distributed fault-tolerance.IEEE Trans. on Comput., 37(4):394?405.","journal-title":"IEEE Trans. on Comput."},{"key":"CR40","first-page":"105","volume-title":"Proc. Advanced Seminar on Real-Time Local Area Networks","author":"H. Kopetz","year":"1986","unstructured":"Kopetz, H. 1986. Scheduling in distributed real time systems.Proc. Advanced Seminar on Real-Time Local Area Networks, INRIA, Bandol, France, pp. 105?126."},{"key":"CR41","doi-asserted-by":"crossref","unstructured":"Kopetz, H. 1992. Sparse time versus dense time in distributed real-time systems.Proc. 12th Int. Conf. on Distributed Computing Systems, Yokohama, Japan, pp. 460?467.","DOI":"10.1109\/ICDCS.1992.235008"},{"key":"CR42","unstructured":"Kopetz, H., and Gr\u00fcnsteidl, G. 1992. TTP?A time triggered protocol for automotive applications. Research Report Nr. 16\/1992. Inst. f\u00fcr Technische Informatik, Technische Universit."},{"key":"CR43","doi-asserted-by":"crossref","unstructured":"Kopetz, H., and Kim, K. 1990. Temporal uncertainties in interaction among real-time objects.Proc. of the 9th Symp. on Reliable Distributed Systems, Huntsville, AL, pp. 165?174.","DOI":"10.1109\/RELDIS.1990.93962"},{"issue":"8","key":"CR44","doi-asserted-by":"crossref","first-page":"933","DOI":"10.1109\/TC.1987.5009516","volume":"36","author":"H. Kopetz","year":"1987","unstructured":"Kopetz, H., and Ochseneiter, W. 1987. Clock synchronization in distributed real-time systems.IEEE Trans. on Comput., 36(8):933?940.","journal-title":"IEEE Trans. on Comput."},{"issue":"1","key":"CR45","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/40.16792","volume":"9","author":"H. Kopetz","year":"1989","unstructured":"Kopetz, H., Damm, A., Koza, C., Mulazzani, M., Senft, C., and Zainlinger, R. 1989. The MARS approach.IEEE Micro., 9(1):25?40.","journal-title":"IEEE Micro."},{"key":"CR46","doi-asserted-by":"crossref","unstructured":"Kopetz, H., Gr\u00fcnsteidl, G., and Reisinger, J. 1991. Fault-tolerant membership service in a synchronous distributed real-time system.Proc. Dependable Computing for Critical Applications, Vol. 4 ofDependable Computing and Fault-Tolerant Systems, A. Avizienis and J. C. Laprie (ed.), Springer Verlag, pp. 441?429.","DOI":"10.1007\/978-3-7091-9123-1_19"},{"key":"CR47","doi-asserted-by":"crossref","unstructured":"Kopetz, H., Kantz, H., Gr\u00fcnsteidel, G., Puschner, P., and Reisinger, J. 1990. Tolerating transient faults in MARS.Proc. Fault Tolerant computing, Newcastle upon Tyne, UK, pp. 466?473.","DOI":"10.1109\/FTCS.1990.89384"},{"key":"CR48","doi-asserted-by":"crossref","unstructured":"Koutny, M., Mancini, L. V., and Pappalardo, G. 1991. Formalising replicated distributed processing.Proc. of the 10th Symp. on Reliable Distributed Systems, Pisa, IT, pp. 108?117.","DOI":"10.1109\/RELDIS.1991.145412"},{"issue":"7","key":"CR49","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L. 1978. Time, clocks and the ordering of events in a distributed system.Comm. of the ACM, 21(7):558?565.","journal-title":"Comm. of the ACM"},{"issue":"2","key":"CR50","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1145\/2993.2994","volume":"6","author":"L. Lamport","year":"1984","unstructured":"Lamport, L. 1984. Using time instead of timeout for fault-tolerant distributed systems.ACM Trans. on Prog. Languages and Systems, 6(2):254?280.","journal-title":"ACM Trans. on Prog. Languages and Systems"},{"issue":"1","key":"CR51","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/2455.2457","volume":"32","author":"L. Lamport","year":"1985","unstructured":"Lamport, L., and Melliar-Smith, P. M. 1985. Synchronizing clocks in the presence of faults.Journal of the ACM, 32(1):52?78.","journal-title":"Journal of the ACM"},{"issue":"3","key":"CR52","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1145\/357172.357176","volume":"4","author":"L. Lamport","year":"1982","unstructured":"Lamport, L., Shostak, R., and Pease, M. 1982. The Byzantine generals problem.ACM Trans. on Prog. Lang. and Sys., 4(3):382?401.","journal-title":"ACM Trans. on Prog. Lang. and Sys."},{"key":"CR53","unstructured":"Laprie, J. C. (Ed). 1992.Dependability: Basic Concepts and Terminology. Volume 5 ofDependable Computing and Fault-Tolerant Systems, Springer Verlag, pp. 23?28."},{"key":"CR54","first-page":"143","volume-title":"Fault Tolerance. Dependable Computing and Fault-Tolerant Systems","author":"P. A. Lee","year":"1990","unstructured":"Lee, P. A., and Anderson, T. 1990.Fault Tolerance. Dependable Computing and Fault-Tolerant Systems, A. Avizyienis, H. Kopetz and J. C. Laprie (Eds), chapter 7, Error Recovery. Springer Verlag, Wien, New York, pp. 143?185."},{"key":"CR55","unstructured":"Mancini, L., and Pappalardo, G. 1988. Towards a theory of replicated processing.Proc. Techniques in Real-Time and Fault-Tolerant Systems. Lecture Notes in Computer Science, Vol 331. Springer-Verlag, pp. 175?192."},{"issue":"4","key":"CR56","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1145\/128733.128735","volume":"8","author":"K. Marzullo","year":"1990","unstructured":"Marzullo, K. 1990. Tolerating failures of continuous-valued sensors.ACM Trans. on Comp. Sys., 8(4):284?304.","journal-title":"ACM Trans. on Comp. Sys."},{"key":"CR57","doi-asserted-by":"crossref","unstructured":"Melliar-Smith, P. M., and Moser, L.E. 1989. Fault-tolerant distributed systems based on broadcast communication.Proc. 9th Int. Conf. on Distributed Computing Systems, pp. 129?134.","DOI":"10.1109\/ICDCS.1989.37940"},{"key":"CR58","doi-asserted-by":"crossref","unstructured":"Mishra, S., Peterson, L. L., and Schlichting, R. D. 1989. Implementing fault-tolerant replicated objects using Psync.Proc. 8th Symp. on Reliable Distributed Systems, Seattle, WA, pp. 42?52.","DOI":"10.1109\/RELDIS.1989.72747"},{"key":"CR59","unstructured":"Palumbo, D. L., and Butler, R. W. 1985. Measurement of SIFT operating system overhead. Technical Memo 86322. NASA."},{"issue":"2","key":"CR60","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1145\/322186.322188","volume":"26","author":"M. Pease","year":"1980","unstructured":"Pease, M., Shostak, R., and Lamport, L. 1980. Reaching agreement in the presence of faults.Journal of the ACM, 26(2):228?234.","journal-title":"Journal of the ACM"},{"key":"CR61","doi-asserted-by":"crossref","unstructured":"Powel, D. (Ed) 1991a. Delta-4: A generic architecture for dependable computing. Volume 1 ofESPRIT Research Reports, chapter 6.3, Models of Distributed Computation. Springer Verlag. pp. 99?100.","DOI":"10.1007\/978-3-642-84696-0"},{"key":"CR62","doi-asserted-by":"crossref","unstructured":"Powell, D. (Ed) 1991b. Delta-4: A generic architecture for dependable computing. Volume 1 ofESPRIT Research Reports, Chapter 6.4, Replicated Software Components. Springer Verlag, pp. 100?104.","DOI":"10.1007\/978-3-642-84696-0"},{"key":"CR63","doi-asserted-by":"crossref","unstructured":"Powell, D. (Ed) 1991c. Delta-4: A generic architecture for dependable computing. Volume 1 ofESPRIT Research Reports, chapter 6.7, Semi-Active Replication. Springer Verlag, pp. 116?120.","DOI":"10.1007\/978-3-642-84696-0"},{"key":"CR64","doi-asserted-by":"crossref","unstructured":"Powell, D. (Ed) 1991d. Delta-4: A generic architecture for dependable computing. Volume 1 ofESPRIT Research Reports, chapter 6.6, Passive Replication. Springer Verlag, pp. 111?115.","DOI":"10.1007\/978-3-642-84696-0"},{"key":"CR65","doi-asserted-by":"crossref","unstructured":"Powell, D. (Ed) 1991e. Delta-4: A generic architecture for dependable computing. Volume 1 ofESPRIT Research Reports, chapter 10.6, Two-Phase Accept Protocol. Springer Verlag, pp. 282?284.","DOI":"10.1007\/978-3-642-84696-0"},{"key":"CR66","series-title":"Research Report","volume-title":"Failure Modes and Failure Characteristics of a TDMA Driven Ethernet","author":"J. Reisinger","year":"1989","unstructured":"Reisinger, J. 1989. Failure Modes and Failure Characteristics of a TDMA Driven Ethernet. Research Report 8\/89, Inst. f\u00fcr Technische Informatik, Technische Universit\u00e4t Wien, Austria."},{"issue":"3","key":"CR67","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. 1983. Fail-stop processors: An approach to designing fault-tolerant computing systems.ACM Trans. on Comput. Sys. 1(3):222?238.","journal-title":"ACM Trans. on Comput. Sys."},{"issue":"4","key":"CR68","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1145\/98163.98167","volume":"22","author":"F. B. Schneider","year":"1990","unstructured":"Schneider, F. B. 1990. Implementing fault-tolerant services using the state machine appoach: A tutorial.ACM Computing Surveys 22(4):299?319. Schneider, M. 1993. Self-stabilization.ACM Computing Surveys 25(1):45?67.","journal-title":"ACM Computing Surveys"},{"key":"CR69","doi-asserted-by":"crossref","unstructured":"Shi, S. S. B., and Belford, G. G. 1989. Consistent replicated transactions.Proc. 8th Symp. on Reliable Distributed Systems, Seattle, WA, pp. 30?41.","DOI":"10.1109\/RELDIS.1989.72746"},{"key":"CR70","unstructured":"Shin, K. G., Lin, T.-H., and Lee, Y.-H. 1986. Optimal checkpointing of real-time tasks.Proc. on the 5th Symp. on Reliability in Distributed Software and Database Systems, Los Angeles, CA, pp. 151?158."},{"key":"CR71","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/96267.96281","volume":"33","author":"A. S. Tanenbaum","year":"1990","unstructured":"Tanenbaum, A. S., et al. 1990. Experiences with the amoeba distributed operating system.Comm. of the ACM 33:46?63.","journal-title":"Comm. of the ACM"},{"key":"CR72","volume-title":"Proc. Dependability of Resilient Computers","author":"D. Taylor","year":"1989","unstructured":"Taylor, D., and Wilson, G. 1989. The stratus system architecture.Proc. Dependability of Resilient Computers, T. Anderson, Ed. Oxford: Blackwell."},{"issue":"3","key":"CR73","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1137\/0216031","volume":"16","author":"S. Toueg","year":"1987","unstructured":"Toueg, S., Perry K. J., and Srikanth, T. K. 1987. Fast distributed agreement.SIAM Journal on Computing 16(3):445?457.","journal-title":"SIAM Journal on Computing"},{"key":"CR74","doi-asserted-by":"crossref","unstructured":"Tully, A., and Shrivastava, S. K. 1990. Preventing state divergence in replicated distributed programs.Proc. 9th Symp. on Reliable Distributed Systems, Huntsville, AL, pp. 104?113.","DOI":"10.1109\/RELDIS.1990.93956"},{"key":"CR75","doi-asserted-by":"crossref","unstructured":"Ver\u00edssimo, P. 1990. Real-time data management with clock-less reliable broadcast protocols.Proc. of the Workshop on Managment of Replicated Data, Houston, pp. 20?24.","DOI":"10.1109\/MRD.1990.138238"},{"key":"CR76","doi-asserted-by":"crossref","unstructured":"Ver\u00edssimo, P., Rodrigues, L., and Baptista, M. 1989. AMp: A highly parallel atomic multicast protocol.Proc. SIGCOMM Symp. ACM, Austin, pp. 83?93.","DOI":"10.1145\/75246.75256"},{"key":"CR77","doi-asserted-by":"crossref","unstructured":"Von Neumann, J. 1956. Probabilistic logics and the synthesis of reliable organisms from unreliable components. InAutomata Studies, C. E. Shannon and J. McCarthy (Ed), pp. 43?98. Princeton University Press.","DOI":"10.1515\/9781400882618-003"},{"issue":"10","key":"CR78","doi-asserted-by":"crossref","first-page":"1240","DOI":"10.1109\/PROC.1978.11114","volume":"66","author":"J. H. Wensly","year":"1978","unstructured":"Wensly, J. H., Lamport, L., Goldberg, J., Green, M. W., Levitt, K. N., Mellinar-Smith, P. M., Shostack, R. E., and Weinstock, C. B. 1978. SIFT: The design and analysis of a fault-tolerant computer for aircraft control.Proc. of the IEEE 66(10):1240?1255.","journal-title":"Proc. of the IEEE"},{"key":"CR79","unstructured":"Wu, K. L., Yu, P. S., and Pu, C. 1991. Divergence control for epsilon-serialisability. Technical report CUCS-002-91, Department of Computer Science, Columbia University. Also available as IBM Tech Report No. RC16598."}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088629.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01088629\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088629","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T15:46:33Z","timestamp":1586101593000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01088629"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,5]]},"references-count":79,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,5]]}},"alternative-id":["BF01088629"],"URL":"https:\/\/doi.org\/10.1007\/bf01088629","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,5]]}}}