98 citations · 569 across the 35 of their papers we have counts for
1 paper · 1 filter
Rob van Glabbeek
This paper poses that transition systems constitute a good model of distributed systems only in combination with a criterion telling which paths model complete runs of the represen…