Subject: Proof of Correctness for RSVP

From: Tom Green <[email-masked]>
Date: Fri, 7 Feb 2003 10:02:14 -0800 (PST)

Dr Braden,
 I am looking for information on proof of correctness
for RSVP. I would appreciate if you could show some
pointers in this regard.

Thanks,
Tom Green.

__________________________________________________
Do you Yahoo!?
Yahoo! Mail Plus - Powerful. Affordable. Sign up now.
http://mailplus.yahoo.com

----- End Included Message -----

_______________________________________________
Rsvp mailing list
[email-masked]
http://mailman.isi.edu/mailman/listinfo/rsvp