No products in the cart.
Use coupon code “MARCH20” for a 20% discount on all items! Valid until 31-03-2025
Royal Mail express delivery to UK destinations
Regular sales and promotions
Stock updates every 20 minutes!
We use cookies to help you navigate efficiently and perform certain functions. You will find detailed information about all cookies under each consent category below.
The cookies that are categorized as "Necessary" are stored on your browser as they are essential for enabling the basic functionalities of the site. ...
Necessary cookies are required to enable the basic features of this site, such as providing secure log-in or adjusting your consent preferences. These cookies do not store any personally identifiable data.
Functional cookies help perform certain functionalities like sharing the content of the website on social media platforms, collecting feedback, and other third-party features.
Analytical cookies are used to understand how visitors interact with the website. These cookies help provide information on metrics such as the number of visitors, bounce rate, traffic source, etc.
Performance cookies are used to understand and analyze the key performance indexes of the website which helps in delivering a better user experience for the visitors.
Advertisement cookies are used to provide visitors with customized advertisements based on the pages you visited previously and to analyze the effectiveness of the ad campaigns.
Use coupon code “MARCH20” for a 20% discount on all items! Valid until 31-03-2025
Royal Mail express delivery to UK destinations
Regular sales and promotions
Stock updates every 20 minutes!
Out of stock
£179.99
Buy new:
Delivery: UK delivery Only. Usually dispatched in 1-2 working days.
Shipping costs: All shipping costs calculated in the cart or during the checkout process.
Standard service (normally 2-3 working days): 48hr Tracked service.
Premium service (next working day): 24hr Tracked service – signature service included.
Royal mail: 24 & 48hr Tracked: Trackable items weighing up to 20kg are tracked to door and are inclusive of text and email with ‘Leave in Safe Place’ options, but are non-signature services. Examples of service expected: Standard 48hr service – if ordered before 3pm on Thursday then expected delivery would be on Saturday. If Premium 24hr service used, then expected delivery would be Friday.
Signature Service: This service is only available for tracked items.
Leave in Safe Place: This option is available at no additional charge for tracked services.
| Product ID: | 9780792382843 |
| Product Form: | Hardback |
| Country of Manufacture: | GB |
| Series: | The Springer International Series in Engineering and Computer Science |
| Title: | Communication Protocol Specification and Verification |
| Authors: | Author: Ajin Jirachiefpattana, Richard Lai |
| Page Count: | 304 |
| Subjects: | Networking standards and protocols, Networking standards & protocols |
| Description: | Protocol verification is a process of checking whether the interactions of protocol entities, according to the protocol specification, do indeed satisfy certain properties or conditions which may be either general (e.g., absence of deadlock) or specific to the particular protocol system directly derived from the specification. Communication protocols are rules whereby meaningful communication can be exchanged between different communicating entities. In general, they are complex and difficult to design and implement. Specifications of communication protocols written in a natural language (e.g. English) can be unclear or ambiguous, and may be subject to different interpretations. As a result, independent implementations of the same protocol may be incompatible. In addition, the complexity of protocols make them very hard to analyze in an informal way. There is, therefore, a need for precise and unambiguous specification using some formal languages. Many protocol implementations used in the field have almost suffered from failures, such as deadlocks. When the conditions in which the protocols work correctly have been changed, there has been no general method available for determining how they will work under the new conditions. It is necessary for protocol designers to have techniques and tools to detect errors in the early phase of design, because the later in the process that a fault is discovered, the greater the cost of rectifying it. Protocol verification is a process of checking whether the interactions of protocol entities, according to the protocol specification, do indeed satisfy certain properties or conditions which may be either general (e.g., absence of deadlock) or specific to the particular protocol system directly derived from the specification. In the 80s, an ISO (International Organization for Standardization) working group began a programme of work to develop formal languages which were suitable for Open Systems Interconnection (OSI). This group called such languages Formal Description Techniques (FDTs). Some of the objectives of ISO in developing FDTs were: enabling unambiguous, clear and precise descriptions of OSI protocol standards to be written, and allowing such specifications to be verified for correctness. There are two FDTs standardized by ISO: LOTOS and Estelle. Communication Protocol Specification and Verification is written to address the two issues discussed above: the needs to specify a protocol using an FDT and to verify its correctness in order to uncover specification errors in the early stage of a protocol development process. The readership primarily consists of advanced undergraduate students, postgraduate students, communication software developers, telecommunication engineers, EDP managers, researchers and software engineers. It is intended as an advanced undergraduate or postgraduate textbook, and a reference for communication protocol professionals. |
| Imprint Name: | Springer |
| Publisher Name: | Springer |
| Country of Publication: | GB |
| Publishing Date: | 1998-09-30 |
GoBookshop!
Proudly owned and operated by:
Raythex LTD
17-19 Saint Georges Street
NORWICH
NR3 1AB
Registered No. 15042401
We accept the following payment methods:
