Designing reliable distributed systems. A formal methods approach based on executable modeling in Maude

DOI10.1007/978-1-4471-6687-0zbMath1400.68003OpenAlexW2792669134MaRDI QIDQ5971098

Peter Csaba Ölveczky

Publication date: 15 July 2015

Published in: Undergraduate Topics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4471-6687-0

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Distributed systems (68M14)

Related Items (2)

Replicated data types that unify eventual consistency and observable atomic consistency ⋮ Symbolic computation in Maude: some tapas

Uses Software

• Unnamed Item
• Maude
• PVeStA
• scyther
• TAMARIN

This page was built for publication: Designing reliable distributed systems. A formal methods approach based on executable modeling in Maude