Observing Distributed Computation. A Dynamic-Epistemic Approach
From MaRDI portal
Recommendations
- An epistemic perspective on consistency of concurrent computations
- Observable behavior of distributed systems: component reasoning for concurrent objects
- Distributed knowing whether (extended abstract)
- Distributed computability in Byzantine asynchronous systems
- On-the-fly analysis of distributed computations
- scientific article; zbMATH DE number 1950676
- Deducible and equivalent structural knowledges in distributed algorithms
Cited in
(11)- On knowledge and communication complexity in distributed systems
- A simplicial complex model for dynamic epistemic logic to study distributed task computability
- Reasoning about distributed information with infinitely many agents
- An epistemic predicate \(\mathrm{CTL}^{*}\) for finite control \(\pi\)-processes
- Spatial and epistemic modalities in constraint-based process calculi
- Logic of information flow on communication channels
- A Spatial Equational Logic for the Applied π-Calculus
- Formal semantics of a dynamic epistemic logic for describing knowledge properties of \(\pi \)-calculus processes
- A Complete Axiomatic System for a Process-Based Spatial Logic
- Modal epistemic logic on contracts: a doctrinal approach
- A spatial equational logic for the applied \(\pi \)-calculus
This page was built for publication: Observing Distributed Computation. A Dynamic-Epistemic Approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612502)
