Algebraic Specification of Communication Protocols

by G. J. Veltink

Modern computer networks now circle the world, but the transmission of information among them depends on the many different protocols that define the behavior of the sender and receiver. It is clear therefore, that the accurate description of these protocols is important if harmonious communication is to be maintained. In this book the authors use the formal specification language PSF to provide an unambiguous description of several communication...

• Format: Paperback
• Language: English
• ISBN: 0521088127
• ISBN13: 9780521088121
• Release Date: December 2008
• Publisher: Cambridge University Press
• Length: 212 Pages
• Weight: 0.76 lbs.
• Dimensions: 0.5" x 6.7" x 9.6"