broadcast.pp 253 Bytes
Newer Older
1
population protocol "Broadcast Protocol" {
2
    states { _true _false }
3 4
    transitions { x_false_true }
    arcs {
5
       { _false, _true } -> x_false_true -> { _true, _true }
6
    }
7 8 9
    initial { _true _false }
    true { _true }
    false { _false }
10
}