Specification and Verification of Dynamic Properties in Distributed Computations

Journal of Parallel and Distributed Computing

Volumn 28, Issue 2, 1995, Pages 173-185

  Babaoglu, Özalp ^a   Raynal, Michel ^b  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0343989347     PISSN: 07437315     EISSN: None     Source Type: Journal    
DOI: 10.1006/jpdc.1995.1098     Document Type: Article

References (23)

1. Ö. Babaoglu and K. Marzullo, Consistent global states of distributed systems: Fundamental concepts and mechanisms. In S. J. Mullender (ed.). Distributed Systems, Chap. 4, pp. 55-96. ACM Press, New York, 1993.
2. P. C. Bates and J. C. Wileden, High-level debugging of distributed systems: the behavioral abstraction approach. J. Systems and Software 4(3), 255-264: (Dec. 1983).
3. K. M. Chandy and L. Lamport, Distributed snapshots: Determining global states of distributed systems. ACM Trans. Comput. Systems 3(1), 63-75, (Feb. 1985).
4. E. M. Clarke, E. A. Emerson, and A. P. Sistla, Automatic verification of finite state concurrent systems using temporal logic specifications. ACM Trans. Programming Languages and Systems 8(2), 244-263, (1986).
5. R. Cooper and K. Marzullo, Consistent detection of global predicates. ACM/ONR Workshop on Parallel and Distributed Debugging, Santa Cruz, California, May 1991, pp. 163-173.
6. C. Diehl, C. Jard, and J. X. Rampon, Reachability analysis on distributed executions. In M.-C. Gaudel and J.-P. Jouannaud (Ed.). Proceedings of TAPSOFT, Orsay, Paris, France, Apr. 1993. Lecture Notes in Computer Science, 161.668, pp. 629-643. Springer-Verlag, Berlin/New York, 1993.
7. E. A. Emerson and J. Srinivasan, Branching time temporal logic. In G. Rozenberg J. W. de Bakker, and W.-P. de Roever (Eds.). Linear Time, Branching Time and Partial Order in Logics and Models of Concurrency, Noordwijkerhout, The Netherlands, June 1988. Lecture Notes in Computer Science, Vol. 354, pp. 123-172. Springer-Verlag, Berlin/New York, 1988.
8. E. Fromentin and M. Raynal, Inevitable global states: A concept to detect unstable properties of distributed computations in an observer independent way. Proceedings of 6th IEEE Symposium on Parallel and Distributed Processing, Dallas, Texas, Oct. 1994, pp. 242-248.
9. V. K. Garg and B. Waldecker, Detection of unstable predicates in distributed programs. Proceedings of the 12th International Conference on Foundations of Software Technology and Theoretical Computer Science, New Delhi, India, Dec. 1992. Lecture Notes in Computer Science, Vol. 652, pp. 253-264. Springer-Verlag, Berlin/New York, 1993.
10. R. Gotzhein, Temporal logic and applications: A tutorial. Computer Networks and ISDN Systems, pp. 203-218, 1992.
11. M. Hurfin, N. Plouzeau, and M. Raynal, Debugging tool for distributed Estelle programs. J. Comput. Comm., 328-333 (May 1993).
12. M. Hurfin, N. Plouzeau, and M. Raynal, Detecting atomic sequence of predicates in distributed computations. Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, San Diego, California, May 1993, pp. 32-41. Reprinted in ACM SIGPLAN Notices, Dec. 1993.
13. L. Lamport, Time, clocks, and the ordering of events in a distributed system. Comm. ACM 21(7), 558-565, (July 1978).
14. K. Marzullo and G. Neiger, Detection of global state predicates. In S. Toueg and P. Spirakis (Eds.) Proceedings of the Fifth International Workshop on Distributed Algorithms (WDAG-9I), Delphi, Greece, Oct. 1991. Lecture Notes in Computer Science, Vol. 579, pp. 254-272, Springer-Verlag, Berlin/New York, 1992.
15. F. Mattem, Efficient algorithms for distributed snapshots and global virtual time approximation. J. Parallel Distrib. Comput. 18(4), 423-433 (Aug. 1993).
16. B. P. Miller and J. Choi, Breakpoints and halting in distributed programs. Proceedings of the 8th IEEE International Conference on Distributed Computing Systems, San Jose, California, July 1988, pp. 316-323.
17. A. Pnueli, Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends. In J. W. de Bakker, W. P. de Roever, and G. Rozenberg, (Eds.). Current Trends in Concurrency. Lecture Notes in Computer Science, Vol. 224, pp. 510-584. Springer-Verlag, Berlin/New York, 1986.
18. F. B. Schneider, Personal communication, May 1993.
19. R. L. Schwartz and P. M. Melliar-Smith, Temporal logic specifications for distributed systems. Proceedings of the 2nd IEEE International Conference on Distributed Computing Systems, 1981, pp. 446-454.
20. R. L. Schwartz, P. M. Melliar-Smith, and F. H. Vogt, An interval logic for high-level temporal reasoning. Proceedings of the ACM Symposium on Principles of Distributed Computing, Montreal, Canada, Aug. 1983, pp. 173-186.
21. R. Schwarz and F. Mattem, Detecting causal relationships in distributed computations: In search of the Holy Grail. Distrib. Comput. 7(3), 149-174, (1994).
22. M. M. Syslo, Minimizing the jump number for partially-ordered sets: A graph-theoretic approach, II. Discrete Math. 63, 279-295 (1987).
23. A. I. Tomlinson and V. K. Garg, Detecting relational global predicates in distributed systems. Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, San Diego, California, May 1993, pp. 21-31. Reprinted in ACM SIGPLAN Notices, Dec. 1993.