145 citations · 360 across the 54 of their papers we have counts for
1 paper · 2 filters
Parosh Abdulla, Giorgio Delzanno, Marco Montali
We propose a formal model of concurrent systems in which the history of a computation is explicitly represented as a collection of events that provide a view of a sequence of confi…