Skip to main content
Conference ProceedingsOPEN ACCESS

Peregrine: A tool for the analysis of population protocols

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2018) 10981 LNCS 604-611
DOI: 10.1007/978-3-319-96145-3_34
10Citations
Citations of this article
2Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

We introduce Peregrine, the first tool for the analysis and parameterized verification of population protocols. Population protocols are a model of computation very much studied by the distributed computing community, in which mobile anonymous agents interact stochastically to achieve a common task. Peregrine allows users to design protocols, to simulate them both manually and automatically, to gather statistics of properties such as convergence speed, and to verify correctness automatically. This paper describes the features of Peregrine and their implementation.

Author supplied keywords

Cite

CITATION STYLE

APA

Blondin, M., Esparza, J., & Jaax, S. (2018). Peregrine: A tool for the analysis of population protocols. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10981 LNCS, pp. 604–611). Springer Verlag. https://doi.org/10.1007/978-3-319-96145-3_34

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free