Cindy,
| in general, i like your approach. however, i am a little
| leary of cluttering up the document by involving the clock
| context in the discussion of the semantics of each operator.
| i wonder if there is a way to do what you are suggesting
| while keeping all the relevant text in the section on the
| clock operator?
I can try to do what you suggest. Since abort doesn't follow the general pattern, it would have to be handled as a special case, but perhaps the rest of the operators could be handled together. I'll look into it.
Regards,
Erich
Received on Thu Dec 16 14:36:32 2004
This archive was generated by hypermail 2.1.8 : Thu Dec 16 2004 - 14:36:38 PST