Principles of Distributed Systems
From MaRDI portal
Publication:5466227
DOI10.1007/b99477zbMath1078.68667OpenAlexW2506502630WikidataQ57583987 ScholiaQ57583987MaRDI QIDQ5466227
Publication date: 24 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b99477
Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (8)
Modeling, analyzing and slicing periodic distributed computations ⋮ Decentralized runtime verification of message sequences in message-based systems ⋮ Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation ⋮ Producing Short Counterexamples Using “Crucial Events” ⋮ On the complexity of partial order trace model checking ⋮ Testing Distributed Systems Through Symbolic Model Checking ⋮ Unified mathematical framework for slicing and symmetry reduction over event structures ⋮ Efficient abstraction algorithms for predicate detection
Uses Software
This page was built for publication: Principles of Distributed Systems
