Distributed Systems--Towards a Formal Approach

Gérard Le Lann

Distributed Systems--Towards a Formal Approach

Gérard Le Lann iD

• 1977-01-01

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

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

How to Cite this Article

                    Gérard Le Lann (1977). "Distributed Systems--Towards a Formal Approach".                 

Access Full Article

Read Original Article ↗

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

Licence & Open Access

other-oa

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

Identifiers & Provenance

OpenAlex: W1498909462 ↗
Primary Index: OPENALEX