Fair Synthesis of Asynchronous Distributed Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2012

Fair Synthesis of Asynchronous Distributed Systems

Nathalie Sznajder

Résumé

We study the synthesis problem in an asynchronous distributed setting: a finite set of processes interact locally with an uncontrollable environment and communicate with each other by sending signals – actions controlled by a sender process and that are immediately received by the target process. The fair synthesis problem is to come up with a local strategy for each process such that the resulting fair behaviors of the system meet a given specification. We consider external specifications. External means that specifications only relate input and output actions from and to the environment and not internal signals exchanged by processes. We also ask for some natural closure properties of the specification. We present this new setting for studying the fair synthesis problem for distributed systems, and give decidability results for the subclass of networks where communications happen through a strongly connected graph. We claim that this framework for distributed synthesis is natural, convenient and avoids most of the usual sources of undecidability for the synthesis problem. Hence, it may open the way to a decidable theory of distributed synthesis.
Fichier non déposé

Dates et versions

hal-01273263 , version 1 (12-02-2016)

Identifiants

Citer

Nathalie Sznajder. Fair Synthesis of Asynchronous Distributed Systems. Software Synthesis (Dagstuhl Seminar 12152), 2012, Dagstuhl, Germany. pp.33, ⟨10.4230/DagRep.2.4.21⟩. ⟨hal-01273263⟩
78 Consultations
0 Téléchargements

Altmetric

Partager

More