Meike Hatzel

Learn More
We study encodings from CSP into asynchronous CCS with name passing and matching, so in fact, the asynchronous π-calculus. By doing so, we discuss two different ways to map the multi-way synchronisation mechanism of CSP into the two-way synchronisation mechanism of CCS. Both en-codings satisfy the criteria of Gorla except for compositionality, as both use(More)
  • 1