{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:01:47Z","timestamp":1761487307578,"version":"3.32.0"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1994,9,1]],"date-time":"1994-09-01T00:00:00Z","timestamp":778377600000},"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,9]]},"DOI":"10.1007\/bf01088801","type":"journal-article","created":{"date-parts":[[2005,2,4]],"date-time":"2005-02-04T18:15:08Z","timestamp":1107540908000},"page":"105-128","source":"Crossref","is-referenced-by-count":29,"title":["Ordering and timeliness requirements of dependable real-time programs"],"prefix":"10.1007","volume":"7","author":[{"given":"Paulo","family":"Ver\ufffdssimo","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"K. Birman and T. Joseph. Reliable communication in the presence of failures.ACM, Transactions on Computer Systems, 5(1), February, 1987.","DOI":"10.1145\/7351.7478"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Kenneth Birman, Andre Schiper, and Pat Stephenson. Lightweight causal and atomic group multicast.ACM Transactions on Computer Systems, 9(3), August, 1991.","DOI":"10.1145\/128738.128742"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"D. Couvet, G. Florin, and S. Natkin. A statistical clock synchronization algorithm for anisotropic networks. InProceedings of the Tenth Symposium on Reliable Distributed Systems, pp. 41?51. IEEE, 1991.","DOI":"10.1109\/RELDIS.1991.145403"},{"key":"CR4","unstructured":"F. Cristian, H. Aghili, R. Strong, and D. Dolev. Atomic broadcast: From simple message diffusion to Byzantine agreement. InDigest of Papers, The 15th International Symposium on Fault-Tolerant Computing, Ann Arbor, MI, June. IEEE, 1985."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Flaviu Cristian. Probabilistic clock synchronization.Distributed Computing. Springer Verlag, 1989.","DOI":"10.1007\/BF01784024"},{"issue":"1","key":"CR6","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF00365327","volume":"2","author":"Flaviu Cristian","year":"1990","unstructured":"Flaviu Cristian. Synchronous atomic broadcast for redundant broadcast channels.The Journal of Real-Time Systems, 2(1):195?212, 1990.","journal-title":"The Journal of Real-Time Systems"},{"key":"CR7","unstructured":"Flaviu Cristian, Robert D. Dancey, and Jon Dehn. Fault-tolerance in the advanced automation system. InDigest of Papers, The 20th International Symposium on Fault-Tolerant Computing, Newcastle, UK, June. IEEE, 1990."},{"key":"CR8","unstructured":"S. Hawking.A Brief History of Time?From the Big Bang to Black Holes. Gradiva, December 1988."},{"key":"CR9","unstructured":"H. Kopetz. Sparse time versus dense time in distributed systems. InProceedings of the 12th International Conference on Distributed Computing Systems, Yokohama, Tokyo, June. IEEE, 1992."},{"key":"CR10","unstructured":"H. Kopetz, G. Grunsteidl, and J. Reisinger. Fault-tolerant membership service in a synchronous distributed real-time system. InProceedings of the IFIP WG10.4 Int'l Working Conference on Dependable Computing for Critical Applications, Santa Barbara, August 1989."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Hermann Kopetz, Andreas Damm, Christian Koza, Marco Mulazzani, Wolfgang Schwabl, Christoph Senft, and Ralph Zainlinger. distributed fault-tolerant real-time systems: The Mars approach.IEEE Micro, February: 25?41, 1989.","DOI":"10.1109\/40.16792"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Hermann Kopetz and K.H.(Kane) Kim. Temporal uncertainties in interactions among real-time objects. InProceedings of the Ninth Symposium on Reliable Distributed Systems, pp. 165?174, Huntsville, AL, October. IEEE, 1990.","DOI":"10.1109\/RELDIS.1990.93962"},{"issue":"8","key":"CR13","doi-asserted-by":"crossref","first-page":"933","DOI":"10.1109\/TC.1987.5009516","volume":"C-36","author":"Hermann Kopetz","year":"1987","unstructured":"Hermann Kopetz and Wilhelm Ochsenreiter. Clock syncronization in distributed real-time systems.IEEE Transactions on Computers, C-36(8):933?940, August 1987.","journal-title":"IEEE Transactions on Computers"},{"key":"CR14","unstructured":"Hermann Kopetz and Paulo Ver\u00edssimo. Real-time and dependability concepts. In S. J. Mullender, editor,Distributed Systems, 2nd Edition, ACM-Press, Addison-Wesley, 1993."},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Leslie Lamport. Time, clocks and the ordering of events in a distributed system.CACM, 7(21), July 1978.","DOI":"10.1145\/359545.359563"},{"key":"CR16","unstructured":"F. Mattern. Time and global states in distributed systems. InProceedings of the International Workshop on Parallel and Distributed Algorithms. North-Holland, 1989."},{"key":"CR17","unstructured":"S. J. Mullender, editor.Distributed Systems, 2nd Edition. ACM-Press. Addison-Wesley, 1993."},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Larry L. Peterson, Nick C. Buchholdz, and Richard D. Schlichting. Preserving and using context information in interprocess communication.ACM Transactions on Computer Systems, 7(3), August 1989.","DOI":"10.1145\/65000.65001"},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"D. Powell, editor.Delta-4?A generic architecture for dependable distributed computing. ESPRIT Research Reports. Springer Verlag, November 1991.","DOI":"10.1007\/978-3-642-84696-0"},{"key":"CR20","series-title":"Technical report","volume-title":"Understanding protocols for Byzantine clock synchronization","author":"Fred B. Schneider","year":"1987","unstructured":"Fred B. Schneider. Understanding protocols for Byzantine clock synchronization. Technical report, Cornell University, Ithaca, New York, August 1987."},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"John Stankovic and Krithi Ramamritham. The spring kernel: A new paradigm for real-time systems.IEEE Software, May 1991.","DOI":"10.1109\/52.88945"},{"key":"CR22","series-title":"Technical Report","volume-title":"Order and synchronism properties of reliable broadcast protocols","author":"P. Ver\u00edssimo","year":"1989","unstructured":"P. Ver\u00edssimo and L. Rodrigues. Order and synchronism properties of reliable broadcast protocols. Technical Report RT\/66-89, INESC, Lisboa, Portugal, December 1989."},{"key":"CR23","unstructured":"P. Ver\u00edssimo, J. Rufino, and L. Rodrigues. Enforcing real-time behaviour of LAN-based protocols. InProceedings of the 10th IFAC Workshop on Distributed Computer Control Systems, Semmering, Austria, September 1991. IFAC."},{"key":"CR24","unstructured":"Paulo Ver\u00edssimo. Real-time communication. In S. J. Mullender, editor,Distributed Systems, 2nd Edition, ACM-Press. Addison-Wesley, 1993."},{"key":"CR25","unstructured":"Paulo Ver\u00edssimo, P. Barrett, P. Bond, A. Hilborne, L. Rodrigues, and D. Seaton. The extra performance architecture (XPA). In D. Powell, editor,Delta-4?A Generic Architecture for Dependable Distributed Computing, ESPRIT Research Reports. Springer Verlag, November 1991."},{"key":"CR26","unstructured":"Paulo Ver\u00edssimo, L. Rodrigues, and J. Rufino. The atomic multicast protocol (AMp). In D. Powell, editor,Delta-4?A Generic Architecture for Dependable Distributed Computing, ESPRIT Research Reports. Springer Verlag, November 1991."}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088801.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01088801\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088801","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,23]],"date-time":"2024-12-23T01:38:56Z","timestamp":1734917936000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01088801"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,9]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,9]]}},"alternative-id":["BF01088801"],"URL":"https:\/\/doi.org\/10.1007\/bf01088801","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[1994,9]]}}}