Distributed Asynchronous Games With Causal Memory are Undecidable
Résumé
We show the undecidability of the distributed control problem
when the plant is an asynchronous automaton,
the controllers use causal memory and
the goal of the controllers is to put each process
in a local accepting state.
Fichier principal
coloring.pdf (8.56 Ko)
Télécharger le fichier
main.pdf (401.27 Ko)
Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)