Population Protocols: Expressiveness, Succinctness and Automatic Verification.

Jaax, Stefan

Stefan Jaax

If you experience problems opening the document, please try this link.

Original title:: Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Translated title:: Populationsprokolle: Ausdrucksstärke, Speicherkomplexität, und automatische Verifikation.
Author:: Jaax, Stefan
Year:: 2020
Document type:: Dissertation
Faculty/School:: Fakultät für Informatik
Advisor:: Esparza Estaun, Francisco Javier (Prof. Dr.)
Referee:: Esparza Estaun, Francisco Javier (Prof. Dr.); Majumdar, Rupak (Prof. Ph.D.)
Language:: en
Subject group:: DAT Datenverarbeitung, Informatik
Keywords:: population protocols, distributed computation, verification
Translated keywords:: Populationsprotokolle, distribuiertes Rechnen, Verifikation
TUM classification:: DAT 500d
Abstract:: Population protocols (Angluin et al., 2004) are a model of distributed computation by means of pairwise interactions of identical, finite-state, passively mobile agents. We investigate three fundamental questions: 1.) state complexity (How much memory is needed per agent?); 2.) verification complexity (can protocols be automatically verified, and if so, how efficiently?); 3.) expressiveness of the basic model, and its extensions.
Translated abstract:: Populationsprotokolle (Angluin et al., 2004) sind ein etabliertes, distribuiertes Rechenmodell von baugleichen, mobilen Agenten mit endlichem Speicher, welche in paarweisen Interaktionen Rechnungen durchführen. Wir untersuchen Populationsprotokolle aus drei Blickwinkeln: 1.) Platzkomplexität; 2.) Verifikationskomplexität; 3.) Ausdrucksstärke von Erweiterungen des Basismodells.
WWW:: https://mediatum.ub.tum.de/?id=1538836
Date of submission:: 03.03.2020
Oral examination:: 18.06.2020
File size:: 3327768 bytes
Pages:: 134
Urn (citeable URL):: https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20200620-1538836-1-3
Last change:: 14.09.2020
BibTeX