• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Algebraic Specification of Communication Protocols

Algebraic Specification of Communication Protocols

Paperback

Series: Cambridge Tracts in Theoretical Computer Science, Book 36

NetworkingProgramming

ISBN10: 0521088127
ISBN13: 9780521088121
Publisher: Cambridge
Published: Dec 11 2008
Pages: 212
Weight: 0.76
Height: 0.45 Width: 6.69 Depth: 9.61
Language: English
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 protocols of varying levels of complexity, ranging from the alternating bit protocol to the token ring protocol. Beginners, as well as professionals in the field of communication protocols, will benefit from both the methods of specification described, and the protocols discussed in this book.

Also in

Programming