On the public citation graph
How processes learn
0 signed · 187 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.1016/0020-0190(82)90033-3openalex-snapshot
A lower bound for the time to assure interactive consistency
inferredcites →https://doi.org/10.1145/3149.214121openalex-snapshot
Impossibility of distributed consensus with one faulty process
inferredcites →https://doi.org/10.1145/3335772.3335934openalex-snapshot
Time, clocks, and the ordering of events in a distributed system
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/800222.806735openalex-snapshot
Knowledge and common knowledge in a distributed environment
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/bltj.21541openalex-snapshot
The Inherent Difficulty of Timely Primary-Backup Replication
inferred← citeshttps://doi.org/10.1002/malq.19890350612openalex-snapshot
Logic For Reasoning About Knowledge
inferred← citeshttps://doi.org/10.1006/inco.1994.1068openalex-snapshot
Impossibility Results in the Presence of Multiple Faulty Processes
inferred← citeshttps://doi.org/10.1006/inco.1994.1094openalex-snapshot
Asynchronous Approximate Agreement
inferred← citeshttps://doi.org/10.1006/inco.1996.0006openalex-snapshot
Time/Contention Trade-Offs for Multiprocessor Synchronization
inferred← citeshttps://doi.org/10.1006/inco.1996.0063openalex-snapshot
A Tradeoff between Safety and Liveness for Randomized Coordinated Attack
inferred← citeshttps://doi.org/10.1006/inco.1997.2679openalex-snapshot
Common Knowledge and Update in Finite Environments
inferred← citeshttps://doi.org/10.1006/jpdc.1994.1149openalex-snapshot
Computing Associative Functions Distributively in Spite of Link Failures
inferred← citeshttps://doi.org/10.1006/jpdc.2001.1818openalex-snapshot
Communication Patterns in Distributed Computations
inferred← citeshttps://doi.org/10.1007/3-540-16761-7_69openalex-snapshot
A termination detector for static and dynamic distributed systems with asynchronous non-first-in-first-out communication
inferred← citeshttps://doi.org/10.1007/3-540-18088-5_24openalex-snapshot
A modal logic for a subclass of event structures
inferred← citeshttps://doi.org/10.1007/3-540-44450-5_40openalex-snapshot
Concurrent Knowledge and Logical Clock Abstractions
inferred← citeshttps://doi.org/10.1007/3-540-48311-x_113openalex-snapshot
Universal Constructs in Distributed Computations
inferred← citeshttps://doi.org/10.1007/3-540-50403-6_29openalex-snapshot
Modelling knowledge and action in distributed systems: Preliminary report
inferred← citeshttps://doi.org/10.1007/3-540-51687-5_48openalex-snapshot
Possibility and impossibility results in a shared memory environment
inferred← citeshttps://doi.org/10.1007/3-540-52048-1_37openalex-snapshot
Impossibility results in the presence of multiple faulty processes
inferred← citeshttps://doi.org/10.1007/3-540-54967-6_62openalex-snapshot
Tense logics for local reasoning in distributed systems
inferred← citeshttps://doi.org/10.1007/3-540-63077-5_31openalex-snapshot
Commitments among autonomous agents in information-rich environments
inferred← citeshttps://doi.org/10.1007/3-540-64359-1_780openalex-snapshot
Testing of synchronization conditions for distributed real-time applications
inferred← citeshttps://doi.org/10.1007/3540539816_58openalex-snapshot
Knowledge and probability in distributed systems: Abstract
inferred← citeshttps://doi.org/10.1007/3540608052_58openalex-snapshot
Semantical considerations on some primitives for agent specification
inferred← citeshttps://doi.org/10.1007/978-1-4471-3242-4_2openalex-snapshot
Reasoning with Incomplete Information: Rough Set Based Information Logics
inferred← citeshttps://doi.org/10.1007/978-1-4939-2864-4_606openalex-snapshot
Knowledge in Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-03427-6_29openalex-snapshot
Blockchains as Kripke Models: An Analysis of Atomic Cross-Chain Swap
inferred← citeshttps://doi.org/10.1007/978-3-031-08166-8_21openalex-snapshot
A Note on Idleness Detection of Actor Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-62864-6_7openalex-snapshot
Known Unknowns: Time Bounds and Knowledge of Ignorance
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-30186-8_21openalex-snapshot
Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies
inferred← citeshttps://doi.org/10.1007/978-3-642-05118-0_49openalex-snapshot
Optimistic Fair Exchange Using Trusted Devices
inferred← citeshttps://doi.org/10.1007/978-3-642-13526-2_12openalex-snapshot
Mobile Agents and Eventually Perfect Predicate Detection: An Intelligent General Approach to Monitoring Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-15763-9_42openalex-snapshot
Beyond Lamport’s Happened-Before: On the Role of Time Bounds in Synchronous Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-27207-3_52openalex-snapshot
The Modeling Approaches of Distributed Computing Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-27848-8_606-1openalex-snapshot
Knowledge in Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-28073-3_3openalex-snapshot
Knowledge as a Window into Distributed Coordination
inferred← citeshttps://doi.org/10.1007/978-3-642-28765-7_35openalex-snapshot
Discrete Dynamical System Model of Distributed Computing with Embedded Partial Order
inferred← citeshttps://doi.org/10.1007/978-3-642-36039-8_9openalex-snapshot
Agent-Time Epistemics and Coordination
inferred← citeshttps://doi.org/10.1007/978-3-642-61012-7_9openalex-snapshot
Zeit und Raum in Rechnernetzen
inferred← citeshttps://doi.org/10.1007/978-94-009-2448-2_2openalex-snapshot
I’m Ok If You’re Ok: On the Notion of Trusting Communication
inferred← citeshttps://doi.org/10.1007/bf00297510openalex-snapshot
I'm OK if you're OK: On the notion of trusting communication
inferred← citeshttps://doi.org/10.1007/bf01212958openalex-snapshot
A new explanation of the glitch phenomenon
inferred← citeshttps://doi.org/10.1007/bf01407859openalex-snapshot
Initial failures in distributed computations
inferred← citeshttps://doi.org/10.1007/bf01762112openalex-snapshot
Programming simultaneous actions using common knowledge
inferred← citeshttps://doi.org/10.1007/bf01762126openalex-snapshot
The synthesis of communication protocols
inferred← citeshttps://doi.org/10.1007/bf01784885openalex-snapshot
Modelling knowledge and action in distributed systems
inferred← citeshttps://doi.org/10.1007/bf01893884openalex-snapshot
A new explanation of the glitch phenomenon
inferred← citeshttps://doi.org/10.1007/bf02242710openalex-snapshot
Some impossibility results in interprocess synchronization
inferred← citeshttps://doi.org/10.1007/bf02252679openalex-snapshot
Concurrent common knowledge: defining agreement for asynchronous systems
inferred← citeshttps://doi.org/10.1007/bf02280839openalex-snapshot
Knowledge in shared memory systems
inferred← citeshttps://doi.org/10.1007/bf02811342openalex-snapshot
Levels of knowledge in distributed systems
inferred← citeshttps://doi.org/10.1007/bfb0019800openalex-snapshot
Experience with a new distributed termination detection algorithm
inferred← citeshttps://doi.org/10.1007/bfb0021980openalex-snapshot
Reasoning about knowledge on computation trees
inferred← citeshttps://doi.org/10.1007/bfb0022141openalex-snapshot
Dissecting distributed coordination
inferred← citeshttps://doi.org/10.1007/bfb0029005openalex-snapshot
Measure of parallelism of distributed computations
inferred← citeshttps://doi.org/10.1007/s00153-021-00784-5openalex-snapshot
Knowledge, behavior, and rationality: rationalizability in epistemic games
inferred← citeshttps://doi.org/10.1007/s002360050034openalex-snapshot
Possibility and impossibility results in a shared memory environment
inferred← citeshttps://doi.org/10.1007/s00446-003-0105-9openalex-snapshot
The power of logical clock abstractions
inferred← citeshttps://doi.org/10.1007/s00446-007-0031-3openalex-snapshot
A family of optimal termination detection algorithms
inferred← citeshttps://doi.org/10.1007/s00446-009-0084-6openalex-snapshot
The Heard-Of model: computing in distributed systems with benign faults
inferred← citeshttps://doi.org/10.1007/s00446-021-00393-8openalex-snapshot
Optimistically tuning synchronous byzantine consensus: another win for null messages
inferred← citeshttps://doi.org/10.1007/s004460050043openalex-snapshot
A logical approach to multilevel security of probabilistic systems
inferred← citeshttps://doi.org/10.1007/s004460050048openalex-snapshot
Causality and atomicity in distributed computations
inferred← citeshttps://doi.org/10.1007/s10458-011-9178-1openalex-snapshot
Distributed iterated elimination of strictly dominated strategies
inferred← citeshttps://doi.org/10.1007/s10458-018-9388-xopenalex-snapshot
A new distributed algorithm for efficient generalized arc-consistency propagation
inferred← citeshttps://doi.org/10.1007/s10849-009-9118-5openalex-snapshot
Automata for Epistemic Temporal Logic with Synchronous Communication
inferred← citeshttps://doi.org/10.1016/0004-3702(95)98593-dopenalex-snapshot
Naming and identity in epistemic logic part II: a first-order logic for naming
inferred← citeshttps://doi.org/10.1016/0020-0190(88)90023-3openalex-snapshot
Effects of message loss on the termination of distributed protocols
inferred← citeshttps://doi.org/10.1016/0020-0190(90)90222-jopenalex-snapshot
Flush primitives for asynchronous distributed systems
inferred← citeshttps://doi.org/10.1016/0020-0190(91)90221-3openalex-snapshot
On the nonexistence of resilient consensus protocols
inferred← citeshttps://doi.org/10.1016/0022-0000(89)90039-1openalex-snapshot
The complexity of reasoning about knowledge and time. I. Lower bounds
inferred← citeshttps://doi.org/10.1016/0168-0072(95)00016-xopenalex-snapshot
Topological reasoning and the logic of knowledge
inferred← citeshttps://doi.org/10.1016/0304-3975(87)90005-3openalex-snapshot
Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP
inferred← citeshttps://doi.org/10.1016/0304-3975(93)90012-iopenalex-snapshot
Coupling coefficients of a distributed execution
inferred← citeshttps://doi.org/10.1016/0743-7315(86)90015-8openalex-snapshot
Termination detection for dynamically distributed systems with non-first-in-first-out communication
inferred← citeshttps://doi.org/10.1016/0743-7315(90)90099-bopenalex-snapshot
A message-optimal algorithm for distributed termination detection
inferred← citeshttps://doi.org/10.1016/0888-613x(91)90020-mopenalex-snapshot
Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents
inferred← citeshttps://doi.org/10.1016/0890-5401(90)90014-9openalex-snapshot
Knowledge and common knowledge in a Byzantine environment: Crash failures
inferred← citeshttps://doi.org/10.1016/b978-0-12-450010-5.50015-3openalex-snapshot
Model Checking vs. Theorem Proving: A Manifesto
inferred← citeshttps://doi.org/10.1016/b978-0-408-02938-4.50016-4openalex-snapshot
Key references in distributed computer systems 1959–1989
inferred← citeshttps://doi.org/10.1016/b978-0-934613-04-0.50015-6openalex-snapshot
Knowledge and implicit knowledge in a distributed environment: Preliminary Report
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/b978-1-4832-1453-5.50022-2openalex-snapshot
Algorithmic Knowledge
inferred← citeshttps://doi.org/10.1016/b978-1-4832-1453-5.50023-4openalex-snapshot
Knowledge and the ordering of events in distributed systems Extended Abstract
inferred← citeshttps://doi.org/10.1016/j.is.2026.102691openalex-snapshot
A Generalized CALM Theorem for Non-Deterministic Computation in Asynchronous Distributed Systems
inferred← citeshttps://doi.org/10.1016/j.jpdc.2006.07.002openalex-snapshot
A tight bound on remote reference time complexity of mutual exclusion in the read-modify-write model
inferred← citeshttps://doi.org/10.1016/j.jpdc.2007.05.013openalex-snapshot
An efficient delay-optimal distributed termination detection algorithm
inferred← citeshttps://doi.org/10.1016/j.jpdc.2008.02.001openalex-snapshot
On termination detection in crash-prone distributed systems with failure detectors
inferred← citeshttps://doi.org/10.1016/s0004-3702(97)00061-1openalex-snapshot
On the knowledge requirements of tasks
inferred← citeshttps://doi.org/10.1016/s0164-1212(98)10034-1openalex-snapshot
A taxonomy of distributed termination detection algorithms
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00195-3openalex-snapshot
A framework for viewing atomic events in distributed computations
inferred← citeshttps://doi.org/10.1016/s1574-6526(07)03015-5openalex-snapshot
Chapter 15 Reasoning about Knowledge and Belief
inferred← citeshttps://doi.org/10.1023/a:1008319631231openalex-snapshot
An ontology for commitments in multiagent systems:
inferred← citeshttps://doi.org/10.1023/a:1018952930188openalex-snapshot
On the concepts of rationalizability in games
inferred← citeshttps://doi.org/10.1108/03684929810240365openalex-snapshot
Reconstruction of non‐logical axioms from the propositions of multi‐agent doxastic logic
inferred← citeshttps://doi.org/10.1109/21.135680openalex-snapshot
Reasoning about knowledge to understand distributed AI systems
inferred← citeshttps://doi.org/10.1109/24.24583openalex-snapshot
Reliable protocols for distributed termination detection
inferred← citeshttps://doi.org/10.1109/71.296319openalex-snapshot
Fault-tolerant algorithms for fair interprocess synchronization
inferred← citeshttps://doi.org/10.1109/async.2015.19openalex-snapshot
Analyzing Isochronic Forks with Potential Causality
inferred← citeshttps://doi.org/10.1109/async.2017.15openalex-snapshot
The Eventual C-Element Theorem for Delay-Insensitive Asynchronous Circuits
inferred← citeshttps://doi.org/10.1109/cmpsac.1991.170249openalex-snapshot
Timestamping events for inferring 'affects' relation and potential causality
inferred← citeshttps://doi.org/10.1109/eeei.2010.5662143openalex-snapshot
Causality in synchronous systems
inferred← citeshttps://doi.org/10.1109/hicss.2000.926675openalex-snapshot
A time-stamp based solution for collective resource acquisition in a distributed system
inferred← citeshttps://doi.org/10.1109/hpdc.1996.546202openalex-snapshot
Designing directories in distributed systems: a systematic framework
inferred← citeshttps://doi.org/10.1109/icdcs.1990.89327openalex-snapshot
A basic unit of computation in distributed systems
inferred← citeshttps://doi.org/10.1109/icdcs.1997.598041openalex-snapshot
The Sage project: a new approach to software engineering for distributed applications
inferred← citeshttps://doi.org/10.1109/icdcs.2003.1203493openalex-snapshot
Remote belief: preserving volition for loosely coupled processes
inferred← citeshttps://doi.org/10.1109/icecet52533.2021.9698415openalex-snapshot
Reasoning about Authentication and Secrecy in the Signal Protocol
inferred← citeshttps://doi.org/10.1109/icif.2007.4408149openalex-snapshot
Interpreted systems for situation analysis
inferred← citeshttps://doi.org/10.1109/icis.2008.95openalex-snapshot
Predicate Detection Modality and Semantics in Three Partially Synchronous Models
inferred← citeshttps://doi.org/10.1109/icpads.2009.66openalex-snapshot
Detection of Conjunctive Stable Predicates in Dynamic Systems
inferred← citeshttps://doi.org/10.1109/imc.1990.687313openalex-snapshot
Knowledge Based Protocols for Intelligent Motion Control in Robotics
inferred← citeshttps://doi.org/10.1109/ipdps.2004.1303025openalex-snapshot
A general model for detecting distributed termination in dynamic systems
inferred← citeshttps://doi.org/10.1109/ipps.1992.222991openalex-snapshot
A more efficient message-optimal algorithm for distributed termination detection
inferred← citeshttps://doi.org/10.1109/lics.1994.316046openalex-snapshot
Axioms for knowledge and time in distributed systems with perfect recall
inferred← citeshttps://doi.org/10.1109/pst52912.2021.9647741openalex-snapshot
Epistemic Analysis of a Key-Management Vulnerability in LoRaWAN
inferred← citeshttps://doi.org/10.1109/reldi.2000.885397openalex-snapshot
Consistent detection of global predicates under a weak fault assumption
inferred← citeshttps://doi.org/10.1109/reldis.1988.25790openalex-snapshot
On the diagnosis of Byzantine faults
inferred← citeshttps://doi.org/10.1109/reldis.1994.336901openalex-snapshot
Simulating fail-stop in asynchronous distributed systems
inferred← citeshttps://doi.org/10.1109/reldis.2005.19openalex-snapshot
From Static Distributed Systems to Dynamic Systems
inferred← citeshttps://doi.org/10.1109/risp.1992.213263openalex-snapshot
A logical approach to multilevel security of probabilistic systems
inferred← citeshttps://doi.org/10.1109/sfcs.1986.46openalex-snapshot
Programming simultaneous actions using common knowledge: Preliminary version
inferred← citeshttps://doi.org/10.1109/tpds.2007.1066openalex-snapshot
Tiered Algorithm for Distributed Process Quiescence and Termination Detection
inferred← citeshttps://doi.org/10.1145/10590.10613openalex-snapshot
The synthesis of communication protocols
inferred← citeshttps://doi.org/10.1145/112600.112617openalex-snapshot
Knowledge in shared memory systems (preliminary version)
inferred← citeshttps://doi.org/10.1145/112600.112618openalex-snapshot
A semantics for a logic of authentication (extended abstract)
inferred← citeshttps://doi.org/10.1145/146637.146638openalex-snapshot
A little knowledge goes a long way
inferred← citeshttps://doi.org/10.1145/151261.151267openalex-snapshot
Simulating synchronized clocks and common knowledge in distributed systems
inferred← citeshttps://doi.org/10.1145/151646.151647openalex-snapshot
The derivation of distributed termination detection algorithms from garbage collection schemes
inferred← citeshttps://doi.org/10.1145/1562814.1562820openalex-snapshot
Common knowledge in interaction structures
inferred← citeshttps://doi.org/10.1145/197917.197970openalex-snapshot
Global flush communication primitive for inter-process communication
inferred← citeshttps://doi.org/10.1145/197917.198108openalex-snapshot
Uniform actions in asynchronous distributed systems
inferred← citeshttps://doi.org/10.1145/197917.198113openalex-snapshot
Knowledge, timed precedence and clocks (preliminary report)
inferred← citeshttps://doi.org/10.1145/197917.198181openalex-snapshot
Simulating fail-stop in asynchronous distributed systems
inferred← citeshttps://doi.org/10.1145/1993806.1993878openalex-snapshot
The inherent difficulty of timely primary-backup replication
inferred← citeshttps://doi.org/10.1145/200994.201005openalex-snapshot
Local and temporal predicates in distributed systems
inferred← citeshttps://doi.org/10.1145/2168260.2168263openalex-snapshot
Efficiency of optimistic fair exchange using trusted devices
inferred← citeshttps://doi.org/10.1145/2499937.2499944openalex-snapshot
Common Knowledge in Email Exchanges
inferred← citeshttps://doi.org/10.1145/275295.275360openalex-snapshot
Distributed termination detection in a mobile wireless network
inferred← citeshttps://doi.org/10.1145/28659.28672openalex-snapshot
A knowledge-theoretic analysis of atomic commitment protocols
inferred← citeshttps://doi.org/10.1145/311531.311532openalex-snapshot
Fundamentals of fault-tolerant distributed computing in asynchronous environments
inferred← citeshttps://doi.org/10.1145/3360564openalex-snapshot
Asphalion: trustworthy shielding against Byzantine faults
inferred← citeshttps://doi.org/10.1145/3382734.3405717openalex-snapshot
Brief Announcement: On Using Null Messages in a Byzantine Setting
inferred← citeshttps://doi.org/10.1145/3382734.3405734openalex-snapshot
Probably Approximately Knowing
inferred← citeshttps://doi.org/10.1145/3584372.3588657openalex-snapshot
Distributed Consistency Beyond Queries
inferred← citeshttps://doi.org/10.1145/41840.41863openalex-snapshot
A little knowledge goes a long way: simple knowledge-based derivations and correctness proofs for a family of protocols
inferred← citeshttps://doi.org/10.1145/41840.41864openalex-snapshot
Substituting for real time and common knowledge in asynchronous distributed systems
inferred← citeshttps://doi.org/10.1145/62212.62218openalex-snapshot
Reasoning about knowledge and time in asynchronous systems
inferred← citeshttps://doi.org/10.1145/62212.62224openalex-snapshot
A knowledge-based analysis of zero knowledge
inferred← citeshttps://doi.org/10.1145/72981.72982openalex-snapshot
A hundred impossibility proofs for distributed computing
inferred← citeshttps://doi.org/10.1145/72981.72990openalex-snapshot
A categorical approach to distributed systems expressibility and knowledge
inferred← citeshttps://doi.org/10.1145/73560.73581openalex-snapshot
A compositional approach to superimposition
inferred← citeshttps://doi.org/10.1145/79147.79161openalex-snapshot
Knowledge and common knowledge in a distributed environment
inferred← citeshttps://doi.org/10.1146/annurev.cs.02.060187.000345openalex-snapshot
Using Reasoning About Knowledge to Analyze Distributed Systems
inferred← citeshttps://doi.org/10.1201/9781003072492-2openalex-snapshot
Space-based Coordination and Open Distributed Systems
inferred← citeshttps://doi.org/10.1287/mnsc.44.11.s65openalex-snapshot
A Multi-Agent Framework for the Coordination and Integration of Information Systems
inferred← citeshttps://doi.org/10.2200/s00236ed1v01y201004dct002openalex-snapshot
Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems
inferred← citeshttps://doi.org/10.26192/q35qxopenalex-snapshot
Parallel computations based on domain decompositions and integrated radial basis functions for fluid flow problems
inferred← citeshttps://doi.org/10.3166/jancl.21.323-354openalex-snapshot
On interactive knowledge with bounded communication
inferred← citeshttps://doi.org/10.3233/faia200078openalex-snapshot
From Public Announcements to Asynchronous Announcements
inferred← citeshttps://doi.org/10.3390/a18010026openalex-snapshot
Impossibility Results for Byzantine-Tolerant State Observation, Synchronization, and Graph Computation Problems
inferred← citeshttps://doi.org/10.4204/eptcs.215.17openalex-snapshot
Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle
inferred← citeshttps://doi.org/10.4204/eptcs.297.19openalex-snapshot
Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems
inferred← citeshttps://doi.org/10.48550/arxiv.0908.2399openalex-snapshot
Distributed iterated elimination of strictly dominated strategies
inferred← citeshttps://doi.org/10.48550/arxiv.1101.5957openalex-snapshot
A Kind of Representation of Common Knowledge and its Application in Requirements Analysis
inferred← citeshttps://doi.org/10.48550/arxiv.1112.4428openalex-snapshot
Causality, Knowledge and Coordination in Distributed Systems
inferred← citeshttps://doi.org/10.48550/arxiv.1206.2032openalex-snapshot
Timely Coordination in a Multi-Agent System
inferred← citeshttps://doi.org/10.48550/arxiv.2007.02984openalex-snapshot
Probably Approximately Knowing
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0006009openalex-snapshot
Knowledge and common knowledge in a distributed environment
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0007038openalex-snapshot
Modal Logics for Topological Spaces
inferred← citeshttps://doi.org/10.7907/z9z899d5openalex-snapshot
Predicate Signaling in Distributed Sensor Networks
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.