Formal modeling and analysis of distributed systems : an introduction based on executable modeling in Maude /: an introduction based on executable modeling in Maude. (2017)

• Record Type: Book
• Further Information: Note: Peter Csaba Ölveczky.
• Authors: Ölveczky, Peter Csaba
• Contents: Introduction Part I: Equational Specifications and Their Analysis Equational Specification in Maude Operational Semantics of Equational Specifications Termination Confluence Equational 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 Systems Appendix A: Mathematical Preliminaries.
• Publisher Details: London : Springer
• Publication Date: 2017
• Extent: 1 online resource (250 pages), illustrations
• Subjects: 004.01/51; Computer science; Formal methods (Computer science); Electronic data processing -- Distributed processing; Electronic data processing -- Distributed processing; Formal methods (Computer science); Computers -- Computer Simulation; Mathematics -- Logic; Computers -- Hardware -- Network Hardware; Computer modelling & simulation; Mathematical theory of computation; Network hardware; Software engineering; Computer simulation; Computer Communication Networks; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books
• Languages: English
• ISBNs: 9781447166870; 1447166876
• Related ISBNs: 9781447166863; 1447166868
• Notes: Note: Includes bibliographical references and index.; Note: Print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.