Detecting temporal logic predicates on the happened-before model

Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2002

Volumn , Issue , 2002, Pages 717-724

  Sen, A ^a   Garg, V K ^a  

^a The University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84966641364     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2002.1015583     Document Type: Conference Paper

References (21)

1. O. Babaoǧlu and M. Raynal. Specification and verification of dynamic properties in distributed computations. Journal of Parallel and Distributed Computing, 28:173-185, 1995.
2. K. M. Chandy and L. Lamport. Distributed snapshots: Determining global states of distributed systems. ACM Transactions on Computer Systems, 3(1):63-75, Feb. 1985.
3. B. Charron-Bost, C. Delporte-Gallet, and H. Fauconnier. Local and temporal predicates in distributed systems. ACM Transactions on Programming Languages and Systems, 17(1):157-179, Jan 1995.
4. C. Chase and V. K. Garg. Detection of global predicates: Techniques and their limitations. Distributed Computing, 11(4):191-201, 1998.
5. H. Chiou and W. Korfhage. ENF event predicate detection in distributed systems. In Principles of Distributed Computing, pages 91-100, Los Angeles, California, Aug. 1994.
6. R. Cooper and K. Marzullo. Consistent detection of global predicates. In Proc. of the Workshop on Parallel and Distributed Debugging, pages 163-173, Santa Cruz, CA, May 1991. ACM/ONR.
7. B. A. Davey and H. A. Priestley. Introduction to Lattices and Order. Cambridge University Press, Cambridge, UK, 1990.
8. E. M. Clarke and E. A. Emerson. Design and Synthesis of Synchronization Skeletons using Branching Time Temporal Logic. In Proc. of the Workshop on Logics of Programs, volume 131 of Lecture Notes in Computer Science, Yorktown Heights, New York, May 1981.
9. th International Conference on Distributed Computing Systems (ICDCS), pages 322-329, Phoenix, Arizona, 2001.
10. V. K. Garg and B. Waldecker. Detection of weak unstable predicates in distributed programs. IEEE Transactions on Parallel and Distributed Systems, 5(3):299-307, Mar. 1994.
11. V. K. Garg and B. Waldecker. Detection of strong unstable predicates in distributed programs. IEEE Transactions on Parallel and Distributed Systems, 7(12):1323-1333, Dec. 1996.
12. P. Godefroid and P. Wolper. A partial approach to model checking. In Proceedings of the 6th IEEE Symposium on Logic in Computer Science, pages 406-415, 1991.
13. M. Hurfin, M. Mizuno, M. Raynal, and M. Singhal. Efficient distributed detection of conjunction of local predicates. Technical Report 2731, IRISA, Rennes, France, Nov. 1995.
14. J. P. Queille and J. Sifakis. Specification and verification of concurrent systems in CESAR. In Proc. of the Fifth International Symposium in Programming, volume 137 of LNCS, pages 337-351, New York, 1982. Springer-Verlag.
15. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, July 1978.
16. F. Mattern. Virtual time and global states of distributed systems. In Parallel and Distributed Algorithms: Proc. of the International Workshop on Parallel and Distributed Algorithms, pages 215-226. Elsevier Science Publishers B.V. (North-Holland), 1989.
17. K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
18. th International Symposium on Distributed Computing (DISC), pages 78-92, Lisbon, Portugal, 2001.
19. A. Sen and V. K. Garg. Detecting temporal logic predicates on the happened-before model. Technical Report TR-PDS-2001-003, PDSL, ECE Dept. Univ. of Texas at Austin, 2001. Available at http://www.ece.utexas.edu/~sen/publications/TR-PDS-2001-003.ps.gz.
20. A. Tarafdar and V. K. Garg. Predicate control for active debugging of distributed programs. In In Proc. of the 9th Symposium on Parallel and Distributed Processing (SPDP), Orlando, 1998.
21. A. I. Tomlinson and V. K. Garg. Observation of software for distributed systems with RCL. In Proc. of 15th Conference on the Foundations of Software Technology & Theoretical Computer Science. Springer Verlag, Dec. 1995. Lecture Notes in Computer Science.