Proof of Correctness for RSVP
Tom Green <rsvp_12@yahoo.com> Fri, 07 February 2003 18:02 UTC
Date: Fri, 7 Feb 2003 10:02:14 -0800 (PST)
From: Tom Green <rsvp_12@yahoo.com>
Subject: Proof of Correctness for RSVP
To: braden@ISI.EDU
MIME-Version: 1.0
X-AntiVirus: scanned by AMaViS 0.2.1
X-Message-ID:
Message-ID: <20140418094819.2560.18684.ARCHIVE@ietfa.amsl.com>
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 Rsvp@mailman.isi.edu http://mailman.isi.edu/mailman/listinfo/rsvp
- Proof of Correctness for RSVP Tom Green