Formal Methods for Communication Protocol Specification and Verification

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.