On the public citation graph
Concurrent common knowledge: defining agreement for asynchronous systems
0 signed · 67 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-15648-8_21openalex-snapshot
Distributed processes and the logic of knowledge
inferredcites →https://doi.org/10.1007/3-540-51687-5_50openalex-snapshot
The role of inhibition in asynchronous consistent-cut protocols
inferredcites →https://doi.org/10.1007/bf01762112openalex-snapshot
Programming simultaneous actions using common knowledge
inferredcites →https://doi.org/10.1007/bf01784885openalex-snapshot
Modelling knowledge and action in distributed systems
inferredcites →https://doi.org/10.1016/0304-3975(82)90125-6openalex-snapshot
Results on the propositional μ-calculus
inferredcites →https://doi.org/10.1016/b978-0-934613-04-0.50013-2openalex-snapshot
Knowledge and Common Knowledge in a Byzantine Environment I: Crash failures
inferredcites →https://doi.org/10.1109/tse.1982.235573openalex-snapshot
Echo Algorithms: Depth Parallel Operations on General Graphs
inferredcites →https://doi.org/10.1109/tse.1987.232562openalex-snapshot
Checkpointing and Rollback-Recovery for Distributed Systems
inferredcites →https://doi.org/10.1145/1067625.806558openalex-snapshot
Process backup in producer-consumer systems
inferredcites →https://doi.org/10.1145/359545.359563openalex-snapshot
Time, clocks, and the ordering of events in a distributed system
inferredcites →https://doi.org/10.1145/41840.41864openalex-snapshot
Substituting for real time and common knowledge in asynchronous distributed systems
inferredcites →https://doi.org/10.1145/7351.7478openalex-snapshot
Reliable communication in the presence of failures
inferredcites →https://doi.org/10.1145/79147.79161openalex-snapshot
Knowledge and common knowledge in a distributed environment
inferredcites →https://doi.org/10.1145/800214.806558openalex-snapshot
Process backup in producer-consumer systems
inferredcites →https://doi.org/10.1145/93385.93398openalex-snapshot
The inhibition spectrum and the achievement of causal consistency
inferredcites →https://doi.org/10.2140/pjm.1955.5.285openalex-snapshot
A lattice-theoretical fixpoint theorem and its applications
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1006/inco.1995.1091openalex-snapshot
Simplifying the Design of Knowledge-Based Algorithms Using Knowledge Consistency
inferred← citeshttps://doi.org/10.1006/inco.1997.2679openalex-snapshot
Common Knowledge and Update in Finite Environments
inferred← citeshttps://doi.org/10.1007/3-540-40064-8_21openalex-snapshot
Minimal Size of Piggybacked Information for Tracking Causality: A Graph-Based Characterization
inferred← citeshttps://doi.org/10.1007/3-540-44450-5_40openalex-snapshot
Concurrent Knowledge and Logical Clock Abstractions
inferred← citeshttps://doi.org/10.1007/978-3-030-75267-5_1openalex-snapshot
Knowledge and Simplicial Complexes
inferred← citeshttps://doi.org/10.1007/978-3-032-33486-2_3openalex-snapshot
Axiomatizing Eventual Common Knowledge
inferred← citeshttps://doi.org/10.1007/978-3-319-25150-9_17openalex-snapshot
Asynchronous Announcements in a Public Channel
inferred← citeshttps://doi.org/10.1007/978-3-319-69131-2_6openalex-snapshot
Reachability and Expectation in Gossiping
inferred← citeshttps://doi.org/10.1007/978-3-319-89884-1_22openalex-snapshot
Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq
inferred← citeshttps://doi.org/10.1007/978-3-540-32275-7_30openalex-snapshot
Knowledge-Based Synthesis of Distributed Systems Using Event Structures
inferred← citeshttps://doi.org/10.1007/978-3-642-15164-4_6openalex-snapshot
A Runs-and-Systems Semantics for Logics of Announcements
inferred← citeshttps://doi.org/10.1007/978-3-642-29485-3_14openalex-snapshot
Combining Epistemic Logic and Hennessy-Milner Logic
inferred← citeshttps://doi.org/10.1007/978-94-007-1001-6_5openalex-snapshot
Common Knowledge Revisited
inferred← citeshttps://doi.org/10.1007/978-981-10-2546-4_10openalex-snapshot
Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments
inferred← citeshttps://doi.org/10.1007/bf02277859openalex-snapshot
Detecting causal relationships in distributed computations: In search of the holy grail
inferred← citeshttps://doi.org/10.1007/bfb0026573openalex-snapshot
First-class synchronous operations
inferred← citeshttps://doi.org/10.1007/s00446-003-0105-9openalex-snapshot
The power of logical clock abstractions
inferred← citeshttps://doi.org/10.1007/s004460050021openalex-snapshot
The inhibition spectrum and the achievement of causal consistency
inferred← citeshttps://doi.org/10.1007/s10992-024-09744-9openalex-snapshot
Common Ground in Non-face-to-face Communication: In Sensu Diviso or In Sensu Composito
inferred← citeshttps://doi.org/10.1016/b978-1-4832-1453-5.50020-9openalex-snapshot
Common Knowledge and Update in Finite Environments. I (Extended Abstract)
inferred← citeshttps://doi.org/10.1016/j.artint.2009.02.003openalex-snapshot
Quantified epistemic logics for reasoning about knowledge in multi-agent systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2011.01.014openalex-snapshot
Classical Knowledge for Quantum Security
inferred← citeshttps://doi.org/10.1016/j.tcs.2014.02.041openalex-snapshot
Causality in physics and computation
inferred← citeshttps://doi.org/10.1016/s0168-0072(98)00033-5openalex-snapshot
Common knowledge revisited
inferred← citeshttps://doi.org/10.1017/s0960129517000214openalex-snapshot
Reasoning about knowledge and messages in asynchronous multi-agent systems
inferred← citeshttps://doi.org/10.1093/jigpal/jzi049openalex-snapshot
Formalizing Concurrent Common Knowledge as Product of Modal Logics
inferred← citeshttps://doi.org/10.1109/ispan.1994.367167openalex-snapshot
An algorithm for maintaining consistent view of processes in distributed systems
inferred← citeshttps://doi.org/10.1109/kimas.2003.1245085openalex-snapshot
Towards an epistemic analysis of causality in distributed systems
inferred← citeshttps://doi.org/10.1109/percom.2009.4912761openalex-snapshot
Concurrent Event Detection for Asynchronous consistency checking of pervasive context
inferred← citeshttps://doi.org/10.1109/tpds.2011.176openalex-snapshot
Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments
inferred← citeshttps://doi.org/10.1137/s0097539798340217openalex-snapshot
A Characterization of Eventual Byzantine Agreement
inferred← citeshttps://doi.org/10.1145/151261.151267openalex-snapshot
Simulating synchronized clocks and common knowledge in distributed systems
inferred← citeshttps://doi.org/10.1145/200994.201005openalex-snapshot
Local and temporal predicates in distributed systems
inferred← citeshttps://doi.org/10.1145/2499937.2499944openalex-snapshot
Common Knowledge in Email Exchanges
inferred← citeshttps://doi.org/10.1145/2988287.2989148openalex-snapshot
Formal Analysis and Verification of the IEEE 802.15.4 DSME Slot Allocation
inferred← citeshttps://doi.org/10.1145/3359752openalex-snapshot
A First-order Logic for Reasoning about Knowledge and Probability
inferred← citeshttps://doi.org/10.1145/3360564openalex-snapshot
Asphalion: trustworthy shielding against Byzantine faults
inferred← citeshttps://doi.org/10.18778/0138-0680.2021.04openalex-snapshot
Common Knowledge, Common Attitudes and Social Reasoning
inferred← citeshttps://doi.org/10.2168/lmcs-7(2:14)2011openalex-snapshot
Knowledge-Based Synthesis of Distributed Systems Using Event Structures
inferred← citeshttps://doi.org/10.3233/faia200078openalex-snapshot
From Public Announcements to Asynchronous Announcements
inferred← citeshttps://doi.org/10.3390/math8101673openalex-snapshot
Rapid Consensus Structure: Continuous Common Knowledge in Asynchronous Distributed Systems
inferred← citeshttps://doi.org/10.48550/arxiv.2002.03087openalex-snapshot
On Probabilistic Byzantine Fault Tolerance
inferred← citeshttps://doi.org/10.70675/abf28f43zb1f0z424ez9b04z4a5c5373c177openalex-snapshot
Logics for Social Networks : Asynchronous Announcements in Orthogonal Structures
inferred← citeshttps://doi.org/10.7551/mitpress/5803.003.0013openalex-snapshot
Common Knowledge Revisited
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.