Abstract

n this interactive paper, which you should preferably read con-nected to the Internet, the Black Ninjas introduce you to populationprotocols, a fundamental model of distributed computation, and torecent work by the authors and their colleagues on their automaticverification.

Links and resources

URL:
BibTeX key:
conf/lics/BlondinEJK18
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication