Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH scholarly article en Esparza, Javier; Fraignaud, Pierre; Muscholl, Anca; Rajsbaum, Sergio http://www.dagstuhl.de/dagrep License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-98933
URL:

; ; ;
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: 2018


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