Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Smith, Mark A. - Internet Management Research Department, Bell Laboratories in Murray Hill
VERIFICATION OF A SLIDING WINDOW PROTOCOL USING IOA AND MONA
Formal Verification of Safety and Performance Properties of TCP Selective Acknowledgment
Formal Verification of TCP and T/TCP Mark Anthony Shawn Smith
Diagnosis of distributed discrete event systems, a net unfolding approach \Lambda
Formal Verification of Communication Protocols M. A. S. Smith \Lambda
Reliable Message Delivery and ConditionallyFast Transactions are not Possible without Accurate Clocks
