Time in Distributed System Models and Algorithms

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.

   Google Scholar 

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).

   Google Scholar 

3. K. Birman and T. Joseph. Reliable Communication in the Presence of Failures. ACM, Transactions on Computer Systems, 5(1), February 1987.

   Google Scholar 

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.

   Google Scholar 

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.

   Google Scholar 

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.

   Google Scholar 

7. Baldoni R., Prakash R., Raynal M. and Singhal M., Effcient Δ-Causal Broadcasting. Computer Systems Science and Engineering, 13(5):125–131, 1998.

   MATH  Google Scholar 

8. Raynal M. and Singhal M., Logical Time: Capturing Causality in Distributed Systems. Computer, 29(2):49–56, February 1996.

   Article  Google Scholar 

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.

   Google Scholar 

10. Tushar Chandra and Sam Toueg. Unreliable failure detectors for reliable distributed systems. Journal of the ACM, 43(2):225–267, March 1996.

    Article  MATH  MathSciNet  Google Scholar 

11. 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.

    Google Scholar 

12. Françcois 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.

    Google Scholar 

13. Françcois 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.

    Google Scholar 

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.

    Google Scholar 

15. Flaviu Cristian. Synchronous atomic broadcast for redundant broadcast channels. The Journal of Real-Time Systems, 2(1):195–212, 1990.

    Article  Google Scholar 

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.

    MATH  MathSciNet  Google Scholar 

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.

    Google Scholar 

18. Leslie Lamport. Time, Clocks and the Ordering of Events in a Distributed System. CACM, 21(7):558–565, July 1978.

    MATH  Google Scholar 

19. B. Parkinson and S. Gilbert. Navstar: Global positioning system—ten years later. Proceedings of the IEEE, 71(10):1177–1186, October 1983.

    Article  Google Scholar 

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.

    Google Scholar 

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.

    Google Scholar 

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.

    Article  Google Scholar 

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.

    Google Scholar 

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.

    Article  Google Scholar 

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.

    Article  Google Scholar 

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.

    Google Scholar 

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.

    Google Scholar 

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 1991c.

    Google Scholar 

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.

    Google Scholar 

Download references