6 citations · 14 across the 10 of their papers we have counts for
1 paper · 1 filter
Tobias Prehn, Stephan Mennicke
For models of concurrent and distributed systems, it is important and also challenging to establish correctness in terms of safety and/or liveness properties. Theories of distribut…