Time in distributed system models and algorithms

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1752, Issue , 2000, Pages 1-32

  Veríssimo, Paulo ^a   Raynal, Michel ^b  

^a UNIVERSITY OF LISBON   (Portugal)

^b CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

REAL TIME SYSTEMS;

CAUSAL DELIVERY; CLOCK SYNCHRONISATION; DISTRIBUTED SYSTEMS; DISTRIBUTED SYSTEMS MODEL; REAL TIME; TEMPORAL ORDER; TIMED MODELS; TIMING FAILURES;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84889003309     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46475-1_1     Document Type: Article

References (29)

1. Carlos Almeida and Paulo Veríssimo. An adaptive real-time group communication protocol. In Proceedings of the First IEEE Workshop on Factory Communication Systems, Leysin, Switzerland, October 1995.
2. Carlos Almeida and Paulo Veríssimo. 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).
3. K. Birman and T. Joseph. Reliable Communication in the Presence of Failures. ACM, Transactions on Computer Systems, 5(1), February 1987.
4. Powell D., Failure Modes Assumptions and Assumption Coverage. Proc. 22th IEEE Symposium on Fault-Tolerant Computing (FTC'92), Boston, MA, 1992, pp. 386-392.
5. Raynal M., Schiper A. and Toueg S., The Causal Ordering Abstraction and a Simple Way to Implement it. Information procesing Letters, 39:342-350, 1991.
6. Baldoni R., Mostefaoui A. and Raynal M., Causal Delivery of Messages with Realtime Data in Unreliable Networks. Realtime Systems Journal, 10:245-262, 1996.
7. Baldoni R., Prakash R., Raynal M. and Singhal M., Efficient Δ-Causal Broadcasting. Computer Systems Science and Engineering, 13(5):125-131, 1998.
8. Raynal M. and Singhal M., Logical Time: Capturing Causality in Distributed Systems. Computer, 29(2):49-56, February 1996.
9. 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-330, Philadelphia, USA, May 1996. ACM.
10. Tushar Chandra and Sam Toueg. Unreliable failure detectors for reliable distributed systems. Journal of the ACM, 43(2):225-267, March 1996.
11. D. Cheriton and D. Skeen. Understanding the limitations of causally and totally ordered communication. In Proceedings of the 14th Sym posium on Operati ng Systems Principles, Asheville, NC, USA, December 1993.
12. François J.N. Cosquer, Pedro Antunes, and Paulo Veríssimo. 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-352. Springer-Verlag, October 1996.
13. François J.N. Cosquer, Luís Rodrigues, and Paulo Veríssimo. 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-356. IASTED, October 1995.
14. Flaviu Cristian and Christof Fetzer. The timed asynchronous system model. In Proceedings of the 28th Annual International Symposium on Fault-Tolerant Computing, pages 140-149, Munich, Germany, June 1998. IEEE Computer Society Press.
15. Flaviu Cristian. Synchronous atomic broadcast for redundant broadcast channels. The Journal of Real-Time Systems, 2(1):195-212, 1990.
16. 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-382, April 1985.
17. 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-309, Quebec City, Canada, 1990.
18. Leslie Lamport. Time, Clocks and the Ordering of Events in a Distributed System. CACM, 21(7):558-565, July 1978.
19. B. Parkinson and S. Gilbert. Navstar: Global positioning system-ten years later. Proceedings of the IEEE, 71(10):1177-1186, October 1983.
20. L. Rodrigues and P. Veríssimo. xAMp: a Multi-primitive Group Communications Service. In Proceedings of the 11th Symposium on Reliable Distributed Systems, pages 112-121, Houston, Texas, October 1992. IEEE. INESC AR/66-92.
21. P. Veríssimo 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.
22. P. Veríssimo, 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-294, 1997.
23. Paulo Veríssimo 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-39, Winter 1995.
24. P. Veríssimo. Ordering and Timeliness Requirements of Dependable Real-Time Programs. Journal of Real-Time Systems, Kluwer Eds., 7(2):105-128, September 1994. Also as INESC AR/14-94.
25. P. Veríssimo. Causal Delivery Protocols in Real-time Systems: a Generic Model. Journal of Real-Time Systems, 10(1):45-73, January 1996.
26. P. Veríssimo 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.
27. Paulo Veríssimo. Real-time Communication. In S.J. Mullender, editor, Distributed Systems, 2nd Edition, ACM-Press, chapter 17, pages 447-490. Addison-Wesley, 1993.
28. Paulo Veríssimo, 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-266. Springer Verlag, November 1991.
29. Paulo Veríssimo, 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-294. Springer Verlag, November 1991.