Corpus ID: 17295296

Encoding CSP into CCS (Extended Version)

@article{Hatzel2015EncodingCI,
  title={Encoding CSP into CCS (Extended Version)},
  author={Meike Hatzel and Christoph Wagner and Kirstin Peters and Uwe Nestmann},
  journal={ArXiv},
  year={2015},
  volume={abs/1508.01127}
}
  • Meike Hatzel, Christoph Wagner, +1 author Uwe Nestmann
  • Published 2015
  • Computer Science, Mathematics
  • ArXiv
  • 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 multi-way synchronisation mechanism of CSP into the two-way synchronisation mechanism of CCS. Both encodings satisfy the criteria of Gorla except for compositionality, as both use an additional top-level context. Following the work of Parrow and Sj\"odin, the first encoding uses a central coordinator and establishes a… CONTINUE READING

    Tables and Topics from this paper.

    Explore Further: Topics Discussed in This Paper

    Encoding CSP into CCS
    10

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 32 REFERENCES
    Encoding CSP into CCS
    10
    On the Relationship of CCS and CSP
    59
    Decoding Choice Encodings
    87
    On Distributability in Process Calculi
    32
    Why ever CSP?
    17
    Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes
    11
    A Calculus of Communicating Systems
    3485
    Towards a Unified Approach to Encodability and Separation Results for Process Calculi
    60
    Multiway Synchrinizaton Verified with Coupled Simulation
    61
    Analysing and Comparing Encodability Criteria
    13