scientific article
From MaRDI portal
Publication:3384879
zbMath1498.03045MaRDI QIDQ3384879
Eric Goubault, Jérémy Ledent, Sergio Rajsbaum
Publication date: 17 December 2021
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF18.6
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Homotopical algebra, Quillen model categories, derivators (18N40)
Related Items (3)
Networks beyond pairwise interactions: structure and dynamics ⋮ Wanted dead or alive: epistemic logic for impure simplicial complexes ⋮ Tasks in modular proofs of concurrent algorithms
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Dynamic epistemic logic
- Collapsibility of read/write models using discrete Morse theory
- Interpreted systems and Kripke models for multiagent systems from a categorical perspective
- Chromatic subdivision of a simplicial complex
- Simulations and reductions for colorless tasks
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory
- The Combinatorial Structure of Wait-Free Solvable Tasks
- A combinatorial characterization of the distributed 1-solvable tasks
- Impossibility of distributed consensus with one faulty process
- Three-Processor Tasks Are Undecidable
- Reasoning about knowledge and messages in asynchronous multi-agent systems
- Unbeatable Set Consensus via Topological and Combinatorial Reasoning
This page was built for publication:
