Distributed automata and logic

Les automates distribués sont des machines à états finis qui opèrent sur des graphes orientés finis. Fonctionnant comme des algorithmes distribués synchrones, ils utilisent leur graphe d'entrée comme un réseau dans lequel des processeurs identiques communiquent entre eux pendant un certain nomb...

Full description

Bibliographic Details
Main Author: Reiter, Fabian
Other Authors: Sorbonne Paris Cité
Language:en
Published: 2017
Subjects:
Online Access:http://www.theses.fr/2017USPCC034/document