\begin{thebibliography}{10}

\bibitem{ChanLamp:Snap}
Chandy, K.M., Lamport, L.:
\newblock Distributed snapshots: Determining global states of distributed
  systems.
\newblock ACM Transactions on Computer Systems \textbf{3}(1) (1985)  63--75

\bibitem{CoopMarz:ConsDetGP}
Cooper, R., Marzullo, K.:
\newblock Consistent detection of global predicates.
\newblock In: Proc. of the Workshop on Parallel and Distributed Debugging,
  Santa Cruz, CA, ACM/ONR (1991)  163--173

\bibitem{Garg:1994:DWU}
Garg, V.K., Waldecker, B.:
\newblock Detection of weak unstable predicates in distributed programs.
\newblock IEEE Trans. on Parallel and Distributed Systems \textbf{5}(3) (1994)
  299--307

\bibitem{Pnueli:TL}
Pnueli, A.:
\newblock The temporal logic of programs.
\newblock In: Proc. 18th Annual IEEE-ACM Symposium on Foundations of Computer
  Science. (1977)  46--57

\bibitem{Fidge:PartialOrders}
Fidge, C.J.:
\newblock Partial orders for parallel debugging.
\newblock Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and
  Distributed Debugging, published in ACM SIGPLAN Notices \textbf{24}(1) (1989)
   183--194

\bibitem{Mat:1989:WDAG}
Mattern, F.:
\newblock {V}irtual {T}ime and {G}lobal {S}tates of {D}istributed {S}ystems.
\newblock In: Proc. of the Int'l Workshop on Parallel and Distributed
  Algorithms. (1989)

\bibitem{GarMit:2001:ICDCS}
Garg, V.K., Mittal, N.:
\newblock {On Slicing a Distributed Computation}.
\newblock In: Proc. of the \mbox{$15^{th}$} Int'l. Conference on Distributed
  Computing Systems (ICDCS). (2001)

\bibitem{MitGar:2001:DISC}
Mittal, N., Garg, V.K.:
\newblock {Computation Slicing: Techniques and Theory}.
\newblock In: In Proc. of the \mbox{$15^{th}$} Int'l. Symposium on Distributed
  Computing (DISC). (2001)

\bibitem{Lamp:HappenBefore}
Lamport, L.:
\newblock {Time, Clocks, and the Ordering of Events in a Distributed System}.
\newblock Communications of the ACM \textbf{21}(7) (1978)  558--565

\bibitem{davey}
Davey, B.A., Priestley, H.A.:
\newblock Introduction to Lattices and Order.
\newblock Cambridge University Press, Cambridge, UK (1990)

\bibitem{DBLP:journals/jpdc/GargCKM97}
Garg, V.K., Chase, C.M., Kilgore, R.B., Mitchell, J.R.:
\newblock Efficient detection of channel predicates in distributed systems.
\newblock J. Parallel Distrib. Comput. \textbf{45}(2) (1997)  134--147

\bibitem{DBLP:conf/podc/AgarwalG05}
Agarwal, A., Garg, V.K.:
\newblock Efficient dependency tracking for relevant events in shared-memory
  systems.
\newblock In Aguilera, M.K., Aspnes, J., eds.: PODC, ACM (2005)  19--28

\bibitem{GarWal:wpdd}
Garg, V.K., Waldecker, B.:
\newblock Detection of unstable predicates.
\newblock In: Proc. of the Workshop on Parallel and Distributed Debugging,
  Santa Cruz, CA, ACM/ONR (1991)

\bibitem{Matt:GVT}
Mattern, F.:
\newblock Efficient algorithms for distributed snapshots and global virtual
  time approximation.
\newblock Journal of Parallel and Distributed Computing (1993)  423--434

\bibitem{GGS06}
Garg, R., Garg, V.K., Sabharwal, Y.:
\newblock Scalable algorithms for global snapshots in distributed systems.
\newblock In: Proceedings of the {ACM} Conference on Supercomputing, 2006, ACM
  (2006)

\bibitem{DBLP:conf/cluster/Kshemkalyani09}
Kshemkalyani, A.D.:
\newblock A symmetric o(n log n) message distributed snapshot algorithm for
  large-scale systems.
\newblock In: CLUSTER, IEEE (2009)  1--4

\bibitem{LeBMel87}
LeBlanc, Mellor-Crummey:
\newblock Debugging parallel programs with instant replay.
\newblock IEEETC: IEEE Transactions on Computers \textbf{36} (1987)

\bibitem{DavPri:1990:CUP}
Davey, B.A., Priestley, H.A.:
\newblock Introduction to Lattices and Order.
\newblock Cambridge University Press, Cambridge, UK (1990)

\bibitem{Stan:1986:Book}
Stanley, R.:
\newblock Enumerative Combinatorics.
\newblock Wadsworth and Brookes/Cole (1986)

\bibitem{G02:EDC}
Garg, V.K.:
\newblock Elements of Distributed Computing.
\newblock John Wiley \& Sons (2002)

\bibitem{hurfin98efficient}
Hurfin, M., Mizuno, M., Raynal, M., Singhal, M.:
\newblock Efficient detection of conjunctions of local predicates.
\newblock IEEE Transactions on Software Engineering \textbf{24}(8) (1998)
  664--677

\bibitem{Charron-Bost:1995:LTP}
Charron-Bost, B., Delporte-Gallet, C., Fauconnier, H.:
\newblock Local and temporal predicates in distributed systems.
\newblock ACM Transactions on Programming Languages and Systems \textbf{17}(1)
  (1995)  157--179

\bibitem{SenGar:2003:OPODIS}
Sen, A., Garg, V.K.:
\newblock Detecting temporal logic predicates in distributed programs using
  computation slicing.
\newblock In: 7th International Conference on Principles of Distributed
  Systems, La Martinique, France (2003)

\bibitem{SenGar:2002:IPDPS}
Sen, A., Garg, V.K.:
\newblock Detecting temporal logic predicates in the happened before model.
\newblock In: International Parallel and Distributed Processing Symposium
  (IPDPS), Florida (2002)

\bibitem{DBLP:conf/wdag/OgaleG07}
Ogale, V.A., Garg, V.K.:
\newblock Detecting temporal logic predicates on distributed computations.
\newblock In Pelc, A., ed.: DISC. Volume 4731 of Lecture Notes in Computer
  Science., Springer (2007)  420--434

\bibitem{ITS}
:
\newblock Z.120. ITU-TS recommendation Z.120: Message Sequence Chart (MSC).
  (1996)

\bibitem{petri:thesis}
Petri, C.A.:
\newblock Kommunikation mit Auto-maten.
\newblock PhD thesis, Bonn: Institut fuer Instru- mentelle Mathematik (1962)

\bibitem{Niel:1980:Unfolding}
M.~Nielsen, G.P., Winskel, G.:
\newblock Petri nets, event structures and domains.
\newblock Theoretical Computer Science \textbf{13}(1) (1980)  85--108

\bibitem{McMi93a}
McMillan, K.L.:
\newblock {S}ymbolic {M}odel {C}hecking.
\newblock Kluwer Academic Publishers (1993)

\bibitem{Esparza:1994}
Esparza, J.:
\newblock {Model checking using net unfoldings}.
\newblock Science of Computer Programming \textbf{23}(2) (1994)  151--195

\end{thebibliography}
