11 citations · 26 across the 10 of their papers we have counts for
Showing 2015 · cs.LOShow all
2 papers · 2 filters
cs.LO2015★ 8 cited
Encoding CSP into CCS
Meike Hatzel, Christoph Wagner, Kirstin Peters +1
We study encodings from CSP into asynchronous CCS with name passing and matching, so in fact, the asynchronous pi-calculus. By doing so, we discuss two different ways to map the mu…
cs.LO2015
Encoding CSP into CCS (Extended Version)
Meike Hatzel, Christoph Wagner, Kirstin Peters +1
We study encodings from CSP into asynchronous CCS with name passing and matching, so in fact, the asynchronous pi-calculus. By doing so, we discuss two different ways to map the mu…