broadcast.pp 298 Bytes
Newer Older
1
population protocol "Broadcast Protocol" {
Philipp Meyer's avatar
Philipp Meyer committed
2
    states      { _true _false }
3
4
    transitions { x_false_true }
    arcs {
5
       { _false, _true } -> x_false_true -> { _true, _true }
6
    }
Philipp Meyer's avatar
Philipp Meyer committed
7
8
9
    initial   { _true _false }
    true      { _true }
    false     { _false }
10
    predicate { _true >= 1 }
11
}