Paper Info
Title
Black Ninjas in the Dark: Formal Analysis of Population Protocols.
Abstract
In this interactive paper, which you should preferably read connected to the Internet, the Black Ninjas introduce you to population protocols, a fundamental model of distributed computation, and to recent work by the authors and their colleagues on their automatic verification.
Year
DOI
Venue
2018
10.1145/3209108.3209110
LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
Keywords
Field
DocType
population protocols,distributed computing,parameterized verification
Population,Discrete mathematics,Computer science,Theoretical computer science,Computation,The Internet
Conference
Citations 
PageRank 
References 
0
0.34
16
Authors
4
Name
Order
Citations
PageRank
Michael Blondin1279.06
Javier Esparza277060.33
Stefan Jaax352.13
Anton&#237/n Ku&#269/era4433.20