Proof of Correctness for RSVP??

----- Begin Included Message -----

From [email protected]  Fri Feb  7 10:02:18 2003
Date: Fri, 7 Feb 2003 10:02:14 -0800 (PST)
From: Tom Green <[email protected]>
Subject: Proof of Correctness for RSVP
To: [email protected]
MIME-Version: 1.0
X-AntiVirus: scanned by AMaViS 0.2.1

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 protected]
http://mailman.isi.edu/mailman/listinfo/rsvp