{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:43:10Z","timestamp":1742388190007,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540671961"},{"type":"electronic","value":"9783540464754"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46475-1_1","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T17:40:03Z","timestamp":1186422003000},"page":"1-32","source":"Crossref","is-referenced-by-count":7,"title":["Time in Distributed System Models and Algorithms"],"prefix":"10.1007","author":[{"given":"Paulo","family":"Ver\u00edssimo","sequence":"first","affiliation":[]},{"given":"Michel","family":"Raynal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,3,28]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Carlos Almeida and Paulo Ver\u00edssimo. An adaptive real-time group communication protocol. In Proceedings of the First IEEE Workshop on Factory Communication Systems, Leysin, Switzerland, October 1995.","DOI":"10.1109\/WFCS.1995.482651"},{"key":"1_CR2","unstructured":"Carlos Almeida and Paulo Ver\u00edssimo. Timing failure detection and real-time group communication in quasi-synchronous systems. In Proceedings of the 8th Euromicro Workshop on Real-Time Systems, L' Aquila, Italy, June 1996. (also available as INESC technical report RT\/20-95)."},{"key":"1_CR3","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":"1_CR4","doi-asserted-by":"crossref","unstructured":"Powell D., Failure Modes Assumptions and Assumption Coverage. Proc. 22th IEEE Symposium on Fault-Tolerant Computing (FTC\u201992), Boston, MA, 1992, pp. 386\u2013392.","DOI":"10.1109\/FTCS.1992.243562"},{"key":"1_CR5","first-page":"342","volume":"39","author":"R. M","year":"1991","unstructured":"Raynal M., Schiper A. and Toueg S., The Causal Ordering Abstraction and a Simple Way to Implement it. Information procesing Letters, 39:342\u2013350, 1991.","journal-title":"Information procesing Letters"},{"key":"1_CR6","first-page":"245","volume":"10","author":"B. R","year":"1996","unstructured":"Baldoni R., Mostefaoui A. and Raynal M., Causal Delivery of Messages with Realtime Data in Unreliable Networks. Realtime Systems Journal, 10:245\u2013262, 1996.","journal-title":"Realtime Systems Journal"},{"issue":"5","key":"1_CR7","first-page":"125","volume":"13","author":"B. R","year":"1998","unstructured":"Baldoni R., Prakash R., Raynal M. and Singhal M., Effcient \u0394-Causal Broadcasting. Computer Systems Science and Engineering, 13(5):125\u2013131, 1998.","journal-title":"Computer Systems Science and Engineering"},{"issue":"2","key":"1_CR8","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1109\/2.485846","volume":"29","author":"R. M","year":"1996","unstructured":"Raynal M. and Singhal M., Logical Time: Capturing Causality in Distributed Systems. Computer, 29(2):49\u201356, February 1996.","journal-title":"Computer"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Tushar Chandra, Vassos Hadzilacos, Sam Toueg, and Bernadette Charron-Bost. On the impossibility of group membership. In Proceedings of the 15th ACM Symposium on Principles of Distributed Computing, pages 322\u2013330, Philadelphia, USA, May 1996. ACM.","DOI":"10.1145\/248052.248120"},{"issue":"2","key":"1_CR10","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/226643.226647","volume":"43","author":"T. Chandra","year":"1996","unstructured":"Tushar Chandra and Sam Toueg. Unreliable failure detectors for reliable distributed systems. Journal of the ACM, 43(2):225\u2013267, March 1996.","journal-title":"Journal of the ACM"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"D. Cheriton and D. Skeen. Understanding the limitations of causally and totally ordered communication. In Proceedings of the 14th Symposium on Operating Systems Principles, Asheville, NC, USA, December 1993.","DOI":"10.1145\/168619.168623"},{"key":"1_CR12","series-title":"Lect Notes Comput Sci","first-page":"335","volume-title":"Dependable Computing-EDCC-2","author":"F. J.N. Cosquer","year":"1996","unstructured":"Fran\u00e7cois J.N. Cosquer, Pedro Antunes, and Paulo Ver\u00edssimo. Enhancing dependability of cooperative applications in partitionable environments. In Dependable Computing-EDCC-2, volume 1150 of Lecture Notes in Computer Science, chapter 6, pages 335\u2013352. Springer-Verlag, October 1996."},{"key":"1_CR13","unstructured":"Fran\u00e7cois J.N. Cosquer, Lu\u00eds Rodrigues, and Paulo Ver\u00edssimo. Using Tailored Failure Suspectors to Support Distributed Cooperative Applications. In Proceedings of the 7th International Conference on Parallel and Distributed Computing and Systems, pages 352\u2013356. IASTED, October 1995."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Flaviu Cristian and Christof Fetzer. The timed asynchronous system model. In Proceedings of the 28th Annual International Symposium on Fault-Tolerant Computing, pages 140\u2013149, Munich, Germany, June 1998. IEEE Computer Society Press.","DOI":"10.1109\/FTCS.1998.689463"},{"issue":"1","key":"1_CR15","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/BF00365327","volume":"2","author":"F. Cristian","year":"1990","unstructured":"Flaviu Cristian. Synchronous atomic broadcast for redundant broadcast channels. The Journal of Real-Time Systems, 2(1):195\u2013212, 1990.","journal-title":"The Journal of Real-Time Systems"},{"issue":"2","key":"1_CR16","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1145\/3149.214121","volume":"32","author":"M. J. Fischer","year":"1985","unstructured":"M. J. Fischer, N. A. Lynch, and M. S. Paterson. Impossibility of distributed consensus with one faulty process. Journal of the Association for Computing Machinery, 32(2):374\u2013382, April 1985.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"A. Gopal, R. Strong, S. Toueg, and F. Cristian. Early-delivery atomic broadcast (extended abstract). In Proceedings of the 9th ACM Annual Symposium on Principles of Distributed Computing, pages 297\u2013309, Quebec City, Canada, 1990.","DOI":"10.1145\/93385.93430"},{"issue":"7","key":"1_CR18","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Leslie Lamport. Time, Clocks and the Ordering of Events in a Distributed System. CACM, 21(7):558\u2013565, July 1978.","journal-title":"CACM"},{"issue":"10","key":"1_CR19","doi-asserted-by":"publisher","first-page":"1177","DOI":"10.1109\/PROC.1983.12745","volume":"71","author":"B. Parkinson","year":"1983","unstructured":"B. Parkinson and S. Gilbert. Navstar: Global positioning system\u2014ten years later. Proceedings of the IEEE, 71(10):1177\u20131186, October 1983.","journal-title":"Proceedings of the IEEE"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"L. Rodrigues and P. Ver\u00edssimo. xAMp: a Multi-primitive Group Communications Service. In Proceedings of the 11th Symposium on Reliable Distributed Systems, pages 112\u2013121, Houston, Texas, October 1992. IEEE. INESC AR\/66-92.","DOI":"10.1109\/RELDIS.1992.235136"},{"key":"1_CR21","unstructured":"P. Ver\u00edssimo and A. Casimiro. The timely computing base. In Digest of Fast Abstracts, The 29th International Symposium on Fault-Tolerant Computing, Madison, USA, June 1999. IEEE. Extended version in DI\/FCUL TR 99-2, Department of Informatics, University of Lisboa, April 1999."},{"issue":"3","key":"1_CR22","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1023\/A:1007949113722","volume":"12","author":"P. Ver\u00edssimo","year":"1997","unstructured":"P. Ver\u00edssimo, L. Rodrigues, and A. Casimiro. Cesiumspray: a precise and accurate global clock service for large-scale systems. Journal of Real-Time Systems, 12(3):243\u2013294, 1997.","journal-title":"Journal of Real-Time Systems"},{"issue":"4","key":"1_CR23","first-page":"35","volume":"7","author":"P. Ver\u00edssimo","year":"1995","unstructured":"Paulo Ver\u00edssimo and Carlos Almeida. Quasi-synchronism: a step away from the traditional fault-tolerant real-time system models. Bulletin of the Technical Committee on Operating Systems and Application Environments (TCOS), 7(4):35\u201339, Winter 1995.","journal-title":"Bulletin of the Technical Committee on Operating Systems and Application Environments (TCOS)"},{"issue":"2","key":"1_CR24","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/BF01088801","volume":"7","author":"P. Ver\u00edssimo","year":"1994","unstructured":"P. Ver\u00edssimo. Ordering and Timeliness Requirements of Dependable Real-Time Programs. Journal of Real-Time Systems, Kluwer Eds., 7(2):105\u2013128, September 1994. Also as INESC AR\/14-94.","journal-title":"Journal of Real-Time Systems"},{"issue":"1","key":"1_CR25","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF00357883","volume":"10","author":"P. Ver\u00edssimo","year":"1996","unstructured":"P. Ver\u00edssimo. Causal Delivery Protocols in Real-time Systems: a Generic Model. Journal of Real-Time Systems, 10(1):45\u201373, January 1996.","journal-title":"Journal of Real-Time Systems"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"P. Ver\u00edssimo and L. Rodrigues. A posteriori Agreement for Fault-tolerant Clock Synchronization on Broadcast Networks. In Digest of Papers, The 22nd International Symposium on Fault-Tolerant Computing, Boston-USA, July 1992. IEEE. INESC AR\/65-92.","DOI":"10.1109\/FTCS.1992.243580"},{"key":"1_CR27","unstructured":"Paulo Ver\u00edssimo. Real-time Communication. In S.J. Mullender, editor, Distributed Systems, 2nd Edition, ACM-Press, chapter 17, pages 447\u2013490. Addison-Wesley, 1993."},{"key":"1_CR28","doi-asserted-by":"crossref","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, pages 211\u2013266. Springer Verlag, November 1991c.","DOI":"10.1007\/978-3-642-84696-0_9"},{"key":"1_CR29","doi-asserted-by":"crossref","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, pages 267\u2013294. Springer Verlag, November 1991.","DOI":"10.1007\/978-3-642-84696-0_10"}],"container-title":["Lecture Notes in Computer Science","Advances in Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46475-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T04:36:25Z","timestamp":1737347785000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46475-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540671961","9783540464754"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-46475-1_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}