User: Guest  Login
Original title:
Population Protocols: Expressiveness, Succinctness and Automatic Verification. 
Translated title:
Populationsprokolle: Ausdrucksstärke, Speicherkomplexität, und automatische Verifikation. 
Year:
2020 
Document type:
Dissertation 
Institution:
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. 
Oral examination:
18.06.2020 
File size:
3327768 bytes 
Pages:
134 
Last change:
14.09.2020