By S. Mauw, G. J. Veltink
Sleek machine networks now circle the realm, however the transmission of data between them relies on the various various protocols that outline the habit of the sender and receiver. it's transparent for this reason, that the exact description of those protocols is critical if harmonious verbal exchange is to be maintained. during this publication the authors use the formal specification language PSF to supply an unambiguous description of a number of verbal exchange protocols of various degrees of complexity, starting from the alternating bit protocol to the token ring protocol. newbies, in addition to execs within the box of conversation protocols, will take advantage of either the equipment of specification defined, and the protocols mentioned during this booklet.
Read Online or Download Algebraic Specification of Communication Protocols PDF
Similar programming languages books
I purchased this booklet hoping to enhance my software program improvement ability set by means of including administration talents to my repertoire yet lamentably came across that the publication went a lot extra than that. This ebook discusses to be had instruments, workflow eventualities, and basic wisdom approximately personal home page from a non technical viewpoint. I just a little wanted that the ebook spent extra time conversing approximately an iterative (read: Agile) improvement technique yet total an exceptional learn from a educated individual.
Creation to Languages and the speculation of Computation is helping scholars make the relationship among the perform of computing and an figuring out of the profound principles that defines it. The book's association and the author's skill to provide an explanation for complicated themes essentially make this creation to the speculation of computation a very good source for a wide diversity of higher point scholars.
- OpenOffice.org Macros Explained
- Beginning XML (Programmer to Programmer)
- Git Recipes
- A Practical Guide to Distributed Scrum
- Websphere Studio Application Developer Version 5 Programming Guide: Programming Guide
- The Uncertain Reasoner's Companion: A Mathematical Perspective
Extra resources for Algebraic Specification of Communication Protocols
8 Algebraic Specifications in PSF BIBLIOGRAPHICAL NOTES For information about the mathematical foundation of ACP we refer to [BW90]. The collected volume [Bae90] contains examples of applications of ACP. In this book ACP is applied systematically to a number of situations, including systolic algorithms, semantics of an object oriented language, and verification of protocols. The paper in which ACP was introduced is [BK84]. Information about CCS can be found in [Mil89] and for CSP we refer to [Hoa85].
The item itself can later be retrieved by supplying the key to the appropriate function. The standard library defines 36 Algebraic Specifications in PSF functions to put an item and its key into a table, to retrieve an item from a table, to delete an item from a table, to test whether or not a certain key is an element of a table, and to determine the number of items in a table. All functions are defined relative to the parameters of the module, the sorts KEY and ITEM and the functions eq and default-item.
Output) + error) end Receiver . 3 Hidden Objects To show the use of hidden objects we give the specification of a module in which the exported process is defined in terms of an auxiliary process. Because of its very specific nature, this auxiliary process is intended to be local to the module. data encapsulation). The term hidden in the context of modularization should not be confused with hide, the representation of the abstraction operator in PSF. The following example redefines the Channel process.