6 citations · 9 across the 6 of their papers we have counts for
1 paper · 1 filter
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…