License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.12.12.27
URN: urn:nbn:de:0030-drops-178452
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2023/17845/
Go back to Dagstuhl Reports

Attiya, Hagit ; Enea, Constantin ; Rajsbaum, Sergio ; Sokolova, Ana
Weitere Beteiligte (Hrsg. etc.): Hagit Attiya and Constantin Enea and Sergio Rajsbaum and Ana Sokolova

Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492)

pdf-format:
dagrep_v012_i012_p027_22492.pdf (2 MB)

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 22492 "Formal Methods and Distributed Computing: Stronger Together", held in December 2022.

BibTeX - Entry

@Article{attiya_et_al:DagRep.12.12.27,
  author =	{Attiya, Hagit and Enea, Constantin and Rajsbaum, Sergio and Sokolova, Ana},
  title =	{{Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492)}},
  pages =	{27--53},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2023},
  volume =	{12},
  number =	{12},
  editor =	{Attiya, Hagit and Enea, Constantin and Rajsbaum, Sergio and Sokolova, Ana},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2023/17845},
  URN =		{urn:nbn:de:0030-drops-178452},
  doi =		{10.4230/DagRep.12.12.27},
  annote =	{Keywords: automated verification and reasoning, concurrent data structures and transactions, distributed algorithms, large-scale replication}
}

Keywords: automated verification and reasoning, concurrent data structures and transactions, distributed algorithms, large-scale replication
Collection: DagRep, Volume 12, Issue 12
Issue Date: 2023
Date of publication: 05.05.2023

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