Formal Methods for Communication Protocol Specification and Verification
Regular price$30.00
$30.00
Sale
Increasingly numerous and complex communication protocols are being employed in distributed systems and computer networks of all types. Describes some of the more formal techniques that are being developed to facilitate design of correct protocols.