Concurrent common knowledge: Defining agreement for asynchronous systems
type: Item
instance of: scholarly article
title: Concurrent common knowledge: Defining agreement for asynchronous systems
zbMATH Open document ID: 0773.68009
DOI: 10.1007/BF02252679
author: Prakash Panangaden
author: Kim Taylor
published in: Distributed Computing
publication date: 1993-01-16T00:00:00Z
Mathematics Subject Classification ID: 68M10
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 95899
zbMATH Keywords: distributed systems
zbMATH Keywords: asynchronous communication
zbMATH Keywords: agreement protocols
zbMATH Keywords: modal logic
MaRDI profile type: Publication
cites work: Distributed deadlock detection
cites work: How processes learn
cites work: Distributed Termination
cites work: Modelling knowledge and action in distributed systems
cites work: Knowledge and common knowledge in a distributed environment
cites work: Checkpointing and Rollback-Recovery for Distributed Systems
cites work: Results on the propositional \(\mu\)-calculus
cites work: Time, clocks, and the ordering of events in a distributed system
cites work: Programming simultaneous actions using common knowledge
cites work: Q3680260
cites work: A lattice-theoretical fixpoint theorem and its applications
full work available at URL: https://doi.org/10.1007/bf02252679
OpenAlex ID: W2094013177
description: scientific article; zbMATH DE number 95899