Modelling knowledge and action in distributed systems

Joseph Yehuda Halpern; Ronald Fagin

doi:10.1007/bf01784885

Modelling knowledge and action in distributed systems

Joseph Yehuda Halpern (IBM Research - Almaden) iD Ronald Fagin (IBM Research - Almaden) iD

Journal: Distributed Computing • 1989-12-01 • Springer Science+Business Media • ISSN: 0178-2770

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, Reasoning, and Knowledge

How to Cite this Article

                    Joseph Yehuda Halpern, Ronald Fagin (1989). "Modelling knowledge and action in distributed systems". Distributed Computing. https://doi.org/10.1007/bf01784885                

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/bf01784885 ↗
OpenAlex: W2150853278 ↗
Primary Index: OPENALEX