Items related to Designing Reliable Distributed Systems: A Formal Methods...
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude - Softcover
Synopsis
Introduction
Part I: Equational Specifications and Their Analysis
Equational Specification in Maude
Operational Semantics of Equational SpecificationsTermination
ConfluenceEquational Logic
Models of Equational Specifications
Part II: Specification and Analysis of Distributed Systems in Maude
Modeling Distributed Systems in Rewriting Logic
Executing Rewriting Logic Specifications in Maude
Concurrent Objects in Maude
Modeling Communication in Maude
Modeling and Analyzing Transport Protocols
Distributed Algorithms
Analyzing a Cryptographic Protocol
System Requirements
Formalizing and Checking Requirements
Real-Time and Probabilistic SystemsAppendix A: Mathematical Preliminaries
"synopsis" may belong to another edition of this title.
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want
