Have one to sell? Sell yours here

Tell the Publisher!
I'd like to read this book on Kindle

Don't have a Kindle? Get your Kindle here, or download a FREE Kindle Reading App.

Algebraic Specification of Communication Protocols (Cambridge Tracts in Theoretical Computer Science) [Hardcover]

S. Mauw (Editor), G. J. Veltink (Editor)

Available from these sellers.

FREE Two-Day Shipping for Students. Learn more

Book Description

ISBN-10: 0521418836 | ISBN-13: 978-0521418836 | Publication Date: October 29, 1993 | Edition: First Edition

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.

#outer_postBodyPS { display: none; } #psGradient { display: none; } #psPlaceHolder { display: none; } #psExpand { display: none; } 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.

Editorial Reviews

Book Description

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.

Product Details

Hardcover: 209 pages
Publisher: Cambridge University Press; First Edition edition (October 29, 1993)
Language: English
ISBN-10: 0521418836
ISBN-13: 978-0521418836
Product Dimensions: 9.7 x 7 x 0.6 inches
Shipping Weight: 1.3 pounds
Amazon Best Sellers Rank: #8,515,985 in Books (See Top 100 in Books)

Would you like to update product info or give feedback on images?

Customer Reviews

There are no customer reviews yet.

Create your own review

Video reviews

Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.

Inside This Book (learn more)

First Sentence:
An important reason why formal description techniques are not appreciated as widely as wished by the developers of such techniques, is that people who actually design and implement software have relatively little knowledge of formal methods. Read the first page

Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
term rewriter, simple token ring protocol, first frame part, access control octet, encapsulated merge, concurrent alternating bit protocol, new process module, equivalence tester, sending window, sends data frame, receiving window, encapsulation operator, timer queue, sliding window protocols, atoms input, enquiry message, sending buffer, begin exports, end imports, proof assistant, expected frame, acks frame, checksum error, timer process, acknowledgement sender

Key Phrases - Capitalized Phrases (CAPs): (learn more)
Logical Link Control, Algebraic Specifications, Interface Message Processor, Channel Choice, Frame-Numbers Items

New!
Books on Related Topics | Concordance | Text Stats

Citations (learn more)

This book cites 24 books:

Computer Networks (4th Edition) by Andrew S. Tanenbaum on page 112, and Back Matter
Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science) by J. C. M. Baeten in Front Matter, and Back Matter
Computer Networks by Andrew S. Tanenbaum on page 112, and Back Matter
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) by E. -R. Olderog in Front Matter
Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science) by Ernest. G. Manes in Front Matter

See all 24 books this book cites

22 books cite this book:

The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science) by Andrea Asperti in Front Matter
Mathematical Theory of Domains (Cambridge Tracts in Theoretical Computer Science) by V. Stoltenberg-Hansen in Front Matter
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science) by Willem-Paul de Roever in Front Matter
Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science) by Jorg Desel in Front Matter
The Uncertain Reasoner's Companion: A Mathematical Perspective (Cambridge Tracts in Theoretical Computer Science) by J. B. Paris in Front Matter

See all 22 books citing this book

Books on Related Topics (learn more)

TCP/IP Essentials by Shivendra S. Panwar

Discusses:

VSAT Networks by Gerard Maral

Discusses:

Handbook of Mobile Radio Networks by Sami Tabbane

Discusses:

Process Algebra with Timing by J. C. M. Baeten

Discusses:

Tag this product

(What's this?)

Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items.

Sell a Digital Version of This Book in the Kindle Store

If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store. Learn more

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }

Customer Discussions

This product's forum

Discussion	Replies	Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight

Start a new discussion

Topic:

First post:

Receive e-mail when new posts are made

Prompts for sign-in

Guidelines

Active discussions in related forums

Discussion	Replies	Latest Post
Science forum Global warming is nothing but a hoax and a scare tactic	8247	1 minute ago
Science forum Creationists are trying to rewrite the Laws of Thermodynamics!	804	1 minute ago
Science forum Why are people here so scientifically illiterate	6782	6 minutes ago
Science forum Abiogenesis be Manned- There is no evidence for life having started naturally on Earth.	12	11 minutes ago
Science forum Are there scientific proofs to support a 9-11 coverup?	26	44 minutes ago
Science forum Is Al Gore a crook?	27	1 hour ago
Textbook forum Never Again	30	16 hours ago
Textbook forum I just received a "very good" textbook without its disc - what are your thoughts?	168	4 days ago