Designing Reliable Distributed Systems

Peter Csaba Ölveczky

doi:10.1007/978-1-4471-6687-0

Designing Reliable Distributed Systems

Peter Csaba Ölveczky (University of Oslo) iD

Journal: Undergraduate topics in computer science • 2017-01-01 • ISSN: 1863-7310

Abstract

Abstract text is not embedded in this discovery record. Please consult the full-text publication via the source link on the right.

Subjects & Keywords

# Formal Methods in Verification # Computer Science # Distributed systems and fault tolerance # Logic, programming, and type systems

How to Cite this Article

                    Peter Csaba Ölveczky (2017). "Designing Reliable Distributed Systems". Undergraduate topics in computer science. https://doi.org/10.1007/978-1-4471-6687-0                

Access Full Article

Read Original Article ↗

MainReads is an independent discovery directory. Clicking above directs you to the official publisher repository.

Licence & Open Access

Public Access

Publicly accessible via the publisher or archive. Commercial redistribution or automated full-text duplication without author permission may be restricted.

Identifiers & Provenance

DOI: https://doi.org/10.1007/978-1-4471-6687-0 ↗
OpenAlex: W2792669134 ↗
Primary Index: OPENALEX