On the public citation graph
Modelling knowledge and action in distributed systems
0 signed · 164 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-10235-3openalex-snapshot
A Calculus of Communicating Systems
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/bf01379149openalex-snapshot
Modeling concurrency with partial orders
inferredcites →https://doi.org/10.1007/bf01661170openalex-snapshot
Cheating husbands and other stories: A case study of knowledge, action, and communication
inferredcites →https://doi.org/10.1007/bf01762112openalex-snapshot
Programming simultaneous actions using common knowledge
inferredcites →https://doi.org/10.1007/bf01770224openalex-snapshot
Formulation of Bayesian analysis for games with incomplete information
inferredcites →https://doi.org/10.1016/0004-3702(87)90003-8openalex-snapshot
Belief, awareness, and limited reasoning
inferredcites →https://doi.org/10.1016/0022-0000(89)90039-1openalex-snapshot
The complexity of reasoning about knowledge and time. I. Lower bounds
inferredcites →https://doi.org/10.1016/0196-6774(83)90033-0openalex-snapshot
Implementation of simultaneous memory address access in models that forbid it
inferredcites →https://doi.org/10.1016/0304-3975(81)90109-2openalex-snapshot
On describing the behavior and implementation of distributed systems
inferredcites →https://doi.org/10.1016/0898-1221(82)90043-8openalex-snapshot
Bounds on the size and transmission rate of communications protocols
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.1016/b978-0-934613-04-0.50014-4openalex-snapshot
FOUNDATIONS OF KNOWLEDGE FOR DISTRIBUTED SYSTEMS
inferredcites →https://doi.org/10.1016/b978-0-934613-04-0.50015-6openalex-snapshot
Knowledge and implicit knowledge in a distributed environment: Preliminary Report
inferredcites →https://doi.org/10.1109/sfcs.1979.23openalex-snapshot
Modeling communications protocols by automata
inferredcites →https://doi.org/10.1145/12130.12161openalex-snapshot
The complexity of reasoning about knowledge and time
inferredcites →https://doi.org/10.1145/28659.28672openalex-snapshot
A knowledge-theoretic analysis of atomic commitment protocols
inferredcites →https://doi.org/10.1145/322344.322353openalex-snapshot
A universal interconnection pattern for parallel computers
inferredcites →https://doi.org/10.1145/323596.323617openalex-snapshot
A formal model of knowledge, action, and communication in distributed systems
inferredcites →https://doi.org/10.1145/362946.362970openalex-snapshot
A note on reliable full-duplex transmission over half-duplex links
inferredcites →https://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
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/582153.582177openalex-snapshot
On the composition of processes
inferredcites →https://doi.org/10.1145/62546.62579openalex-snapshot
Concurrent common knowledge: a new definition of agreement for asynchronous systems
inferredcites →https://doi.org/10.1145/800133.804336openalex-snapshot
A unified approach to models of synchronous parallel machines
inferredcites →https://doi.org/10.1145/800133.804339openalex-snapshot
Parallelism in random access machines
inferredcites →https://doi.org/10.1145/800222.806735openalex-snapshot
Knowledge and common knowledge in a distributed environment
inferredcites →https://doi.org/10.1145/800222.806736openalex-snapshot
Knowledge, common knowledge and related puzzles (Extended Summary)
inferredcites →https://doi.org/10.1146/annurev.cs.02.060187.000345openalex-snapshot
Using Reasoning About Knowledge to Analyze Distributed Systems
inferredcites →https://doi.org/10.2307/2273958openalex-snapshot
Vaughan R. Pratt. Semantical considerations on Floyd–Hoare logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York1976, pp. 109–121. - Michael J. Fischer and Richard E. Ladner. Propositional dynamic logic of regular programs.…
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1006/game.1997.0557openalex-snapshot
On Ambiguities in the Interpretation of Game Trees
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/11552451_99openalex-snapshot
Non-alethic Reasoning in Distributed Systems
inferred← citeshttps://doi.org/10.1007/3-540-44533-1_32openalex-snapshot
Perceiving Environments for Intelligent Agents
inferred← citeshttps://doi.org/10.1007/3-540-46581-2_2openalex-snapshot
A Model of BDI-Agent in Game-Theoretic Framework
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-54487-9_64openalex-snapshot
Logics for belief dependence
inferred← citeshttps://doi.org/10.1007/3-540-55160-3_33openalex-snapshot
On the UNITY design decisions
inferred← citeshttps://doi.org/10.1007/3-540-58156-1_52openalex-snapshot
Strongly analytic tableaux for normal modal logics
inferred← citeshttps://doi.org/10.1007/3540539816_58openalex-snapshot
Knowledge and probability in distributed systems: Abstract
inferred← citeshttps://doi.org/10.1007/978-3-030-29765-7_39openalex-snapshot
Probabilistic Consensus of the Blockchain Protocol
inferred← citeshttps://doi.org/10.1007/978-3-030-38808-9_11openalex-snapshot
Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings
inferred← citeshttps://doi.org/10.1007/978-3-031-56595-3_8openalex-snapshot
Many-Valued Modalities and Paraconsistency
inferred← citeshttps://doi.org/10.1007/978-3-031-73709-1_18openalex-snapshot
Strategies in Spatio-Temporal Logics for Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-88833-8_14openalex-snapshot
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-18026-2_16openalex-snapshot
Reasoning about Protocol Change and Knowledge
inferred← citeshttps://doi.org/10.1007/978-3-642-30793-5_8openalex-snapshot
Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities
inferred← citeshttps://doi.org/10.1007/978-3-642-31915-0_6openalex-snapshot
Abstraction for Model Checking Modular Interpreted Systems over ATL
inferred← citeshttps://doi.org/10.1007/978-3-642-38613-8_6openalex-snapshot
Knowledge for the Distributed Implementation of Constrained Systems
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-3-662-47197-5_5openalex-snapshot
Knowledge and Local Actions
inferred← citeshttps://doi.org/10.1007/978-94-007-1001-6_5openalex-snapshot
Common Knowledge Revisited
inferred← citeshttps://doi.org/10.1007/978-94-015-8994-9_8openalex-snapshot
A Logical Approach to Reasoning about Uncertainty: A Tutorial
inferred← citeshttps://doi.org/10.1007/978-94-017-4524-6_1openalex-snapshot
Modal Epistemic and Doxastic Logic
inferred← citeshttps://doi.org/10.1007/bf02252679openalex-snapshot
Concurrent common knowledge: defining agreement for asynchronous systems
inferred← citeshttps://doi.org/10.1007/bf02267030openalex-snapshot
Modeling collaboration for large-scale software system integration by formal communication models
inferred← citeshttps://doi.org/10.1007/bf02278852openalex-snapshot
Self-stabilizing extensions for meassage-passing systems
inferred← citeshttps://doi.org/10.1007/bf02997771openalex-snapshot
Deriving use cases for distributed systems from knowledge requirements
inferred← citeshttps://doi.org/10.1007/bfb0013962openalex-snapshot
Reasoning about noisy sensors (and effectors) in the situation calculus
inferred← citeshttps://doi.org/10.1007/pl00008916openalex-snapshot
A note on knowledge-based programs and specifications
inferred← citeshttps://doi.org/10.1007/s00446-004-0108-1openalex-snapshot
Using counterfactuals in knowledge-based programming
inferred← citeshttps://doi.org/10.1007/s10270-014-0451-zopenalex-snapshot
Knowledge-based construction of distributed constrained systems
inferred← citeshttps://doi.org/10.1007/s11229-005-3875-8openalex-snapshot
Action and Knowledge in Alternating-Time Temporal Logic
inferred← citeshttps://doi.org/10.1007/s11229-010-9765-8openalex-snapshot
To know or not to know: epistemic approaches to security protocol verification
inferred← citeshttps://doi.org/10.1016/0004-3702(95)00019-4openalex-snapshot
Integration of weighted knowledge bases
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-1-4832-1452-8.50114-7openalex-snapshot
A Knowledge-Based Framework for Belief Change, Part II: Revision and Update
inferred← citeshttps://doi.org/10.1016/b978-1-4832-1452-8.50150-0openalex-snapshot
Mutual Belief Revision (Preliminary Report)
inferred← citeshttps://doi.org/10.1016/b978-1-4832-1453-5.50007-6openalex-snapshot
A Knowledge-Based Framework for Belief Change Part I: Foundations
inferred← citeshttps://doi.org/10.1016/b978-1-4832-1453-5.50019-2openalex-snapshot
Knowledge as a Tool in Motion Planning under Uncertainty
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.artint.2009.02.003openalex-snapshot
Quantified epistemic logics for reasoning about knowledge in multi-agent systems
inferred← citeshttps://doi.org/10.1016/j.scico.2014.02.013openalex-snapshot
Optimized distributed implementation of multiparty interactions with Restriction
inferred← citeshttps://doi.org/10.1016/s0004-3702(97)00040-4openalex-snapshot
Modeling belief in dynamic systems, part I: Foundations
inferred← citeshttps://doi.org/10.1016/s0168-0072(98)00033-5openalex-snapshot
Common knowledge revisited
inferred← citeshttps://doi.org/10.1016/s0168-0072(98)00045-1openalex-snapshot
View-based explicit knowledge
inferred← citeshttps://doi.org/10.1016/s0304-3975(98)00242-4openalex-snapshot
Wait-free implementations in message-passing systems
inferred← citeshttps://doi.org/10.1016/s0899-8256(02)00529-8openalex-snapshot
A computer scientist looks at game theory
inferred← citeshttps://doi.org/10.1016/s1090-9443(03)00034-6openalex-snapshot
The not-so-absent-minded driver
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)82524-1openalex-snapshot
Model checking of causal knowledge formulas
inferred← citeshttps://doi.org/10.1017/s1755020308090084openalex-snapshot
INTRANSITIVITY AND VAGUENESS
inferred← citeshttps://doi.org/10.1017/s1755020311000190openalex-snapshot
REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION
inferred← citeshttps://doi.org/10.1023/a:1006155811656openalex-snapshot
Single Step Tableaux for Modal Logics
inferred← citeshttps://doi.org/10.1023/a:1017201505279openalex-snapshot
James D. McCawley, Everything That Linguists Have Always Wanted to Know About Logic
inferred← citeshttps://doi.org/10.1023/a:1018952930188openalex-snapshot
On the concepts of rationalizability in games
inferred← citeshttps://doi.org/10.1086/psaprocbienmeetp.1988.2.192895openalex-snapshot
Backward Induction without Common Knowledge
inferred← citeshttps://doi.org/10.1093/jigpal/jzae095openalex-snapshot
Inferential knowledge and epistemic dimensions
inferred← citeshttps://doi.org/10.1093/logcom/exac020openalex-snapshot
A logic for biassed information diffusion by paranoid agents in social networks
inferred← citeshttps://doi.org/10.1093/logcom/exz007openalex-snapshot
A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
inferred← citeshttps://doi.org/10.1093/oso/9780199285891.003.0005openalex-snapshot
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems
inferred← citeshttps://doi.org/10.1109/21.135680openalex-snapshot
Reasoning about knowledge to understand distributed AI systems
inferred← citeshttps://doi.org/10.1109/9.880616openalex-snapshot
Know means no: Incorporating knowledge into discrete-event control systems
inferred← citeshttps://doi.org/10.1109/dasc50938.2020.9256620openalex-snapshot
Collaborative Situational Awareness for Conflict-Aware Flight Planning
inferred← citeshttps://doi.org/10.1109/glocom.1990.116503openalex-snapshot
Network management with consistently managed objects
inferred← citeshttps://doi.org/10.1109/hsi.2018.8431197openalex-snapshot
Tiny TTCN-Inspired Testing Tools for Experimenting with Hybrid IoT Systems
inferred← citeshttps://doi.org/10.1109/icdcs.1994.302457openalex-snapshot
Using simple diffusion to synchronize the clocks in a distributed system
inferred← citeshttps://doi.org/10.1109/icif.2007.4408132openalex-snapshot
Situation awareness and ability in coalitions
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/ispdc.2014.32openalex-snapshot
Distributed Implementation of Constrained Systems Based on Knowledge
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/lics.1999.782603openalex-snapshot
Plausibility measures and default reasoning: an overview
inferred← citeshttps://doi.org/10.1109/sensorcomm.2007.4394906openalex-snapshot
Knowledge-Based Analysis of Directed Diffusion
inferred← citeshttps://doi.org/10.1145/112600.112619openalex-snapshot
A predicate transformer approach to knowledge and knowledge-based protocols (extended abstract)
inferred← citeshttps://doi.org/10.1145/1329125.1329303openalex-snapshot
Agents, beliefs, and plausible behavior in a temporal setting
inferred← citeshttps://doi.org/10.1145/151261.151267openalex-snapshot
Simulating synchronized clocks and common knowledge in distributed systems
inferred← citeshttps://doi.org/10.1145/153724.153770openalex-snapshot
Knowledge, probability, and adversaries
inferred← citeshttps://doi.org/10.1145/197917.198113openalex-snapshot
Knowledge, timed precedence and clocks (preliminary report)
inferred← citeshttps://doi.org/10.1145/224964.225006openalex-snapshot
Compiling knowledge-based programs
inferred← citeshttps://doi.org/10.1145/2414639.2414649openalex-snapshot
Optimized distributed implementation of multiparty interactions with observation
inferred← citeshttps://doi.org/10.1145/265910.265912openalex-snapshot
Applications of a logic of knowledge to motion planning under uncertainty
inferred← citeshttps://doi.org/10.1145/383779.383780openalex-snapshot
On knowledge-based programming with sensing in the situation calculus
inferred← citeshttps://doi.org/10.1145/585265.585270openalex-snapshot
Alternating-time temporal logic
inferred← citeshttps://doi.org/10.1145/72981.72986openalex-snapshot
Tight bounds for the sequence transmission problem
inferred← citeshttps://doi.org/10.1145/72981.72988openalex-snapshot
Knowledge, probability, and adversaries
inferred← citeshttps://doi.org/10.1145/93385.93405openalex-snapshot
Self-stabilizing extensions for message-passing systems
inferred← citeshttps://doi.org/10.1145/93385.93421openalex-snapshot
Tight bounds for weakly bounded protocols
inferred← citeshttps://doi.org/10.1145/93385.93437openalex-snapshot
A characterization of eventual Byzantine agreement
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.14492/hokmj/1380892593openalex-snapshot
Hypersets and dynamics of knowledge
inferred← citeshttps://doi.org/10.1613/jair.506openalex-snapshot
Modeling Belief in Dynamic Systems, Part II: Revision and Update
inferred← citeshttps://doi.org/10.20868/upm.thesis.57809openalex-snapshot
A Model Driven Methodology for the Construction of Reliable Concurrent Software
inferred← citeshttps://doi.org/10.24963/ijcai.2018/862openalex-snapshot
Hintikka's World: Agents with Higher-order Knowledge
inferred← citeshttps://doi.org/10.2514/6.2007-2709openalex-snapshot
Reasoning about Knowledge in Human-Automation Systems (Preliminary Report)
inferred← citeshttps://doi.org/10.3166/jancl.17.183-196openalex-snapshot
A model for updates in a multi-agent setting
inferred← citeshttps://doi.org/10.4204/eptcs.312.4openalex-snapshot
Probabilistic Output Analyses for Deterministic Programs — Reusing Existing Non-probabilistic Analyses
inferred← citeshttps://doi.org/10.48550/arxiv.1307.2191openalex-snapshot
A Knowledge-based Treatment of Human-Automation Systems
inferred← citeshttps://doi.org/10.48550/arxiv.1310.6423openalex-snapshot
Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0103020openalex-snapshot
Belief Revision: A Critique
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0410050openalex-snapshot
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems
inferred← citeshttps://doi.org/10.48550/arxiv.cs/9809013openalex-snapshot
Reasoning about Noisy Sensors and Effectors in the Situation Calculus
inferred← citeshttps://doi.org/10.53846/goediss-2469openalex-snapshot
Data Protection and Data Security Concept for Medical Applications in a Grid Computing Environment
inferred← citeshttps://doi.org/10.5555/2034396.2034452openalex-snapshot
Abstraction for model checking modular interpreted systems over ATL
inferred← citeshttps://doi.org/10.5860/choice.33-0987openalex-snapshot
Introduction to distributed algorithms
inferred← citeshttps://doi.org/10.70675/b796ac39ze4b4z4857z9f03zbd5ff117286bopenalex-snapshot
Implantations distribuées de modèles à base de composants communicants par interactions multiparties avec priorités : application au langage BIP
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.