...Cuny,

The Parallel Programming Environments Project at the University of Massachusetts is supported by the National Science Foundation under grant CCR-9023256.

...correctness.

This is in contrast to a number of program visualization tools designed for use in debugging for performance [2,5,15]. In debugging for correctness, it is logical time that is important; in debugging for performance, it is physical time.

...received.

Here, we consider only nonshared memory paradigms but the definitions can be extended to shared memory as discussed in Section 4.

...before:

This notation is slightly different than Lamport's.

...queue

Note: We have assumed a nonshared memory paradigm but for this example we simulate a shared memory location as a process: if p is a process and m a memory location, a write from p to m is treated as a message from p to m and a read by p from m is treated as a message from m to p.

Joydip Kundu kundu@neweng.enet.dec.com