Synthesis in Presence of Dynamic Links

23 Sep 2020 Bérard Béatrice Sorbonne Université, CNRS, LIP6, Paris, France Bollig Benedikt CNRS & LSV, ENS Paris-Saclay, Université Paris-Saclay, France Bouyer Patricia CNRS & LSV, ENS Paris-Saclay, Université Paris-Saclay, France Függer Matthias CNRS & LSV, ENS Paris-Saclay, Université Paris-Saclay, Inria, France Sznajder Nathalie Sorbonne Université, CNRS, LIP6, Paris, France

The problem of distributed synthesis is to automatically generate a distributed algorithm, given a target communication network and a specification of the algorithm's correct behavior. Previous work has focused on static networks with an a priori fixed message size... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • FORMAL LANGUAGES AND AUTOMATA THEORY
  • DISTRIBUTED, PARALLEL, AND CLUSTER COMPUTING
  • COMPUTER SCIENCE AND GAME THEORY
  • LOGIC IN COMPUTER SCIENCE