Unbeatable consensus. (English) Zbl 1483.68025
MSC:
68M14
Found 3 Documents (Results 1–3)
A simplicial complex model for dynamic epistemic logic to study distributed task computability. (English) Zbl 1497.03032
Reviewer: Philippe Gaucher (Paris)
A simplicial complex model for dynamic epistemic logic to study distributed task computability. (English) Zbl 1498.03045
Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 73-87 (2018).
Filter Results by …
Document Type
- Journal Articles (2)
- Collection Articles (1)
all
top 5
Author
- Goubault, Eric (2)
- Ledent, Jérémy (2)
- Rajsbaum, Sergio (2)
- Castañeda, Armando (1)
- Gonczarowski, Yannai A. (1)
- Moses, Yoram (1)
Serial
- Inf. Comput. (1)
- Distrib. Comput. (1)
