6 citations · 9 across the 6 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2025★ 2 cited
Stronger Validity Criteria for Encoding Synchrony
Rob van Glabbeek, Ursula Goltz, Christopher Lippert +1
We analyse two translations from the synchronous into the asynchronous -calculus, both without choice, that are often quoted as standard examples of valid encodings, showing tha…
cs.LO2017★ 1 cited
Keep it Fair: Equivalences
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…
cs.LO2012
An Operational Petri Net Semantics for the Join-Calculus
Stephan Mennicke
We present a concurrent operational Petri net semantics for the join-calculus, a process calculus for specifying concurrent and distributed systems. There often is a gap between sy…