Sign in

Die Komplexität der Überprüfung von Populationsprotokollen

By Javier Esparza and others
Populationsprotokolle [Angluin et al., PODC, 2004] sind ein Modell der verteilten Berechnung, bei dem ununterscheidbare Agenten mit endlichem Zustand paarweise interagieren, um zu entscheiden, ob ihre Anfangskonfiguration, dh die anfängliche Anzahl von Agenten in jedem Zustand, eine gegebene Eigenschaft erfüllt. In einer wegweisenden Arbeit Angluin et al. klassifizierte Populationsprotokolle nach... Show more
February 9, 2021
=
0
Loading PDF…
Loading full text...
Similar articles
Loading recommendations...
=
0
x1
The Complexity of Verifying Population Protocols
Click on play to start listening