Add functionality to build arenas for new paper (Zinck, Ricker 2020)
gzinck opened this issue · comments
Graeme Zinck commented
- Implement transducer T0, which adds a tau after every ∆ events
- Implement transducer T1, which separates events and communications
- Implement transducer T2, which propagates delay up to the clock tick
- Implement transducer T3, which removes the clock tick and permutes the possible sends/receives between agents
- Implement the pruning of the arena to ensure only valid paths exist