1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Giann Karlo Aguirre Samboni, Stefan Haar, Loic 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…