DagRep.8.5.60.pdf
- Filesize: 6.14 MB
- 20 pages
Document
Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 8, Issue 5
Volume: Dagstuhl Reports, Volume 8
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2018-11-19
Cite AsGet BibTex
Javier Esparza, Pierre Fraignaud, Anca Muscholl, and Sergio Rajsbaum. Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211). In Dagstuhl Reports, Volume 8, Issue 5, pp. 60-79, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/DagRep.8.5.60
https://doi.org/10.4230/DagRep.8.5.60
Abstract
The Dagstuhl Seminar "Formal Methods and Fault-Tolerant
Distributed Computing: Forging an Alliance" took place May 22-25,
2018. Its goal was to strengthen the interaction between researchers
from formal methods and from distributed computing, and help the two
communities to better identify common research challenges.
Keywords
- distributed computing
- distributed systems
- formal verification
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads