Tarrow - Global, Conventional and Warring Movements
An Algorithm for Probabilistic Alternating Simulation