19 citations · 19 across the 3 of their papers we have counts for
1 paper · 1 filter
Alexander Kurz, Stefan Milius, Dirk Pattinson +1
The analysis of concurrent and reactive systems is based to a large degree on various notions of process equivalence, ranging, on the so-called linear-time/branching-time spectrum,…