Synthesized Parameterized Protocols for LeadsTo on Unidirectional Rings

Agreement

SumNotTwo

SumTwo

Parity