43 citations · 305 across the 30 of their papers we have counts for
1 paper · 2 filters
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,…