1 citations · 1 across the 1 of their papers we have counts for
1 paper
Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé +2
A crucial question in analyzing a concurrent system is to determine its long-run behaviour, and in particular, whether there are irreversible choices in its evolution, leading into…