Formal Techniques for Distributed Systems

Hutchison, David; Friedemann Mattern; Kittler, Josef; Tygar, Doug; Lopes, AntÃ³nia; Naor, Moni; Nierstrasz, Oscar; Pandu Rangan, C; Jon Michael Kleinberg; Steffen, Bernhard; Madhu Sudan; Demetri Terzopoulos; Takeo Kanade A; John C. Mitchell; Lee, David; Gerhard Weikum; Poetzsch-Heffter, Arnd; Moshe Y. Vardi

doi:10.1007/978-3-642-02138-1

Formal Techniques for Distributed Systems

Hutchison, David (The Ohio State University) Friedemann Mattern (University of Lisbon) Kittler, Josef (University of Kaiserslautern) Tygar, Doug Lopes, AntÃ³nia Naor, Moni Nierstrasz, Oscar Pandu Rangan, C Jon Michael Kleinberg iD Steffen, Bernhard Madhu Sudan iD Demetri Terzopoulos iD Takeo Kanade A iD John C. Mitchell iD Lee, David Gerhard Weikum iD Poetzsch-Heffter, Arnd Moshe Y. Vardi iD

Journal: Lecture notes in computer science • 2009-01-01 • Springer Science+Business Media • ISSN: 0302-9743

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 # Logic, programming, and type systems # Distributed systems and fault tolerance

How to Cite this Article

                    Hutchison, David, Friedemann Mattern, Kittler, Josef, et al. (2009). "Formal Techniques for Distributed Systems". Lecture notes in computer science. https://doi.org/10.1007/978-3-642-02138-1                

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-3-642-02138-1 ↗
OpenAlex: W206703680 ↗
Primary Index: OPENALEX