License
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://drops.dagstuhl.de/opus/volltexte/2018/9893/
Go back to Dagstuhl Reports


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:
dagrep_v008_i005_p060_18211.pdf (6 MB)


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


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI