Formal Methods for Protocol Engineering and Distributed Systems

Forte XII / PSTV XIX'99

By: Jianping Wu (Editor), Samuel T. Chanson (Editor), Quiang Gao (Editor)

Write A Review

Hardcover | 30 September 1999

At a Glance

Hardcover
516 Pages

Dimensions(cm)
23.5 x 15.88 x 3.18

Hardcover

$329.00

or 4 interest-free payments of $82.25 with

Ships in 5 to 7 business days

Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are:

FDT-based system and protocol engineering;
FDT application to distributed systems;
Protocol engineeering;
Practical experience and case studies.

Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999.
This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Computer Architecture & Logic Design Parallel Processing Computer Networking & Communications Networking Standards & Protocols Computer Programming & Software Development Engineering & Technology Energy Technology & Engineering Electrical Engineering Computer Hardware

Mainframes & Minicomputers Network Hardware Artificial Intelligence

Other Editions and Formats

Paperback

Published: 18th April 2013

View Product

Preface
Committee Members
List of Referees
Invited Talk I
Test I
Conforming configurations in EFSM
Remote testing can be as powerful as local testing
Hit-or-Jump: An algorithm for embedded testing with applications to IN services
FDTs I
Scalable and Object Oriented SDL State(chart)s
Prototyping Framework for SDL with Evolving Semantics
Framework for Automatic SDL to C++ Translation
Test II
Stress Testing of Distributed Multimedia Software Systems
Fair Testing through Probabilistic Testing
A Formal Approach to Conformance Testing of Distributed Routing Protocols
Invited Talk II
FDTs II
Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering
A Graphical Parallel Composition Operator for Process Algebras
Guaranteeing liveness in an object calculus through behavioural typing
Model Checking
Black Box Checking
An Optimizing Compiler for Efficient Model Checking
Exploiting Symmetry when Model-Checking Software
Verification
User-Friendly Verification
Specification and Verification of Synchronous Hardware using LOTOS
Provably Correct Hardware Compilation using Timing Diagrams
Invited Talk III
Test III
An enhanced model for testing asynchronous communicating systems
Interoperability Test Suite Derivation for the TCP
Coverage analysis for embedded testing and an application
FDTs III
A Formal Description Technology: Graphic E-LOTOS
Global Timed Bisimulation: An Introduction
Protocol Synthesis for Real-Time Applications
Case Studies
Verifying an infinite family of inductions simultaneously using data independence and FDR
Specification and execution of tests using tMsc
Model-Checking A Secure Group Communication Protocol: A Case Study
Invited Papers
Software Model Checking
List of Contributors
Short Papers
Table of Contents provided by Publisher. All Rights Reserved.

Formal Methods for Protocol Engineering and Distributed Systems

Forte XII / PSTV XIX'99

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Computer Science

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Nexus

A Brief History of Information Networks from the Stone Age to AI

The Tech Coup

How to Save Democracy from Silicon Valley

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Creative Machines

AI, Art & Us

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Empire of AI

Inside the reckless race for total domination

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Python All-in-One For Dummies

3rd Edition

Artificial Intelligence and Human Rights, Democracy, and the Rule of Law

Computational Intelligence Techniques

Deep Learning for Smart Healthcare

Trends, Challenges and Applications

Digital Image Security

Techniques and Applications

Non-Fungible Tokens

Multidisciplinary Perspectives

Smart Global Value Chain

Future Innovations

The Shortest History of AI

Engineering Lakehouses with Open Table Formats

Build scalable and efficient lakehouses with Apache Iceberg, Apache Hudi, and Delta Lake

Ideal Subjects Volume 76

The Abstract People of AI

Ideal Subjects Volume 76

The Abstract People of AI

Life 3.0

Being Human in the Age of Artificial Intelligence

Scary Smart

The Future of Artificial Intelligence and How You Can Save Our World

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Advances in Practical Applications of Agents, Multi-Agent Systems, and Computational Social Science

The PAAMS Collection : 23rd International Conference, PAAMS 2025, Lille, France, June 25-27, 2025, Proceedings

This product is categorised by