User: Guest  Login
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