Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/DagRep.8.5.60
URN: urn:nbn:de:0030-drops-98933
URL: https://drops.dagstuhl.de/opus/volltexte/2018/9893/
Esparza, Javier ; Fraignaud, Pierre ; Muscholl, Anca ; Rajsbaum, Sergio
Weitere Beteiligte (Hrsg. etc.): Javier Esparza and Pierre Fraigniaud and Anca Muscholl and Sergio Rajsbaum
Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211)
| pdf-format: |
|
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.
BibTeX - Entry
@Article{esparza_et_al:DR:2018:9893,
author = {Javier Esparza and Pierre Fraignaud and Anca Muscholl and Sergio Rajsbaum},
title = {{Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211)}},
pages = {60--79},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {5},
editor = {Javier Esparza and Pierre Fraigniaud and Anca Muscholl and Sergio Rajsbaum},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2018/9893},
URN = {urn:nbn:de:0030-drops-98933},
doi = {10.4230/DagRep.8.5.60},
annote = {Keywords: distributed computing, distributed systems, formal verification}
}
| Keywords: | distributed computing, distributed systems, formal verification | |
| Seminar: | Dagstuhl Reports, Volume 8, Issue 5 | |
| Issue date: | 2018 | |
| Date of publication: | 19.11.2018 |
