License: 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: http://dagstuhl.sunsite.rwth-aachen.de/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)
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 |
Collection: |
|
Dagstuhl Reports, Volume 8, Issue 5 |
Issue Date: |
|
2018 |
Date of publication: |
|
19.11.2018 |