2026-07-20T11:45:53Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:9893 2024-03-06T10:26:57Z ddc:004 open_access

Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211) Esparza, Javier Fraignaud, Pierre Muscholl, Anca Rajsbaum, Sergio distributed computing distributed systems formal verification 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Javier Esparza and Pierre Fraignaud and Anca Muscholl and Sergio Rajsbaum 2018 Is Part Of Dagstuhl Reports, Volume 8, Issue 5 (2019) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.8.5.60 urn:nbn:de:0030-drops-98933 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.5.60 eng https://creativecommons.org/licenses/by/3.0/legalcode