Zurab Khasidashvili;John R. W. Glauert
-;-
Relating conflict-free stable transition and event models via redex families
Theoretical Computer Science
The conflict-free reduction geometry