Check out the new USENIX Web site. next up previous
Next: Defintion Up: THE SPECIFICATION LANGUAGE Previous: wait-for Predicates

Role

 
 
Du Li
8/25/1999