Articoli correlati a Designing Reliable Distributed Systems: A Formal Methods...
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude - Brossura
Sinossi
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
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
(nessuna copia disponibile)
Cerca: Inserisci un desiderataNon riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!
Inserisci un desiderata
