Commit 63801eb1 authored by Stefan Jaax's avatar Stefan Jaax
Browse files

Add references to

parent 56bf4096
......@@ -88,7 +88,7 @@ All properties satisfied
As seen in the output, Peregrine by default checks two properties:
*Layered Termination* and *Strong Consensus*:
* Layered Termination: every fair run of the protocol
* Layered Termination: protocol is layered in a way that every fair run of the protocol
will eventually reach a terminal population where no more change occurs.
* Strong Consensus: every terminal population reachable from an initial population
forms a consensus. Moreover, the boolean value of the consensus must be unique
......@@ -113,6 +113,10 @@ Authors
* Philipp Meyer (<>)
* Stefan Jaax (<>)
* Michael Blondin, Stefan Jaax, Javier Esparza: “Towards Efficient Verification of Population Protocols”, 2017; [ arXiv:1703.04367].
Peregrine is licensed under the GPLv3, see []( for details.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment