How processes learn
From MaRDI portal
Recommendations
Cites work
Cited in
(50)- Process technologies, learning and brand proliferation
- A semantics for speech acts
- Topological reasoning and the logic of knowledge
- Levels of knowledge in distributed systems.
- The synthesis of communication protocols
- Flush primitives for asynchronous distributed systems
- Measure of parallelism of distributed computations
- Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents
- Naming and identity in epistemic logic. II: A first-order logic for naming
- Dissecting distributed coordination
- Some impossibility results in interprocess synchronization
- On interactive knowledge with bounded communication
- A new explanation of the glitch phenomenon
- A logical approach to multilevel security of probabilistic systems
- Concurrent common knowledge: Defining agreement for asynchronous systems
- I'm OK if you're OK: On the notion of trusting commmunication
- Space-time dynamic of normalized doxatons: Automata models of pathological collective mentality
- Knowledge and common knowledge in a Byzantine environment: Crash failures
- Optimistically tuning synchronous Byzantine consensus: another win for null messages
- Possibility and impossibility results in a shared memory environment
- On termination detection in crash-prone distributed systems with failure detectors
- On the nonexistence of resilient consensus protocols
- Programming simultaneous actions using common knowledge
- On the knowledge requirements of tasks
- Coupling coefficients of a distributed execution
- Relating knowledge and coordinated action: the knowledge of preconditions principle
- Initial failures in distributed computations
- The power of logical clock abstractions
- A framework for viewing atomic events in distributed computations
- Known unknowns: time bounds and knowledge of ignorance
- Knowledge in shared memory systems.
- The Heard-Of model: computing in distributed systems with benign faults
- Logical omniscience
- Automata for epistemic temporal logic with synchronous communication
- The inhibition spectrum and the achievement of causal consistency
- Reconstruction of non‐logical axioms from the propositions of multi‐agent doxastic logic
- Knowledge, behavior, and rationality: rationalizability in epistemic games
- scientific article; zbMATH DE number 7450035 (Why is no real title available?)
- States of knowledge
- Common knowledge and update in finite environments
- A family of optimal termination detection algorithms
- The complexity of reasoning about knowledge and time. I: Lower bounds
- Beyond Lamport's Happened-before
- Comments to `Logics of public communications'
- Modelling knowledge and action in distributed systems
- On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes
- scientific article; zbMATH DE number 3999275 (Why is no real title available?)
- Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP
- Communication, consensus, and knowledge
- Asynchronous message orderings beyond causality
This page was built for publication: How processes learn
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1082071)
