Encoding CSP into CCS

MaRDI QIDQ5013872zbMATH OpenFDO

Authors Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann

Publication date 3 December 2021

Full work available at URL https://arxiv.org/abs/1508.06712, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2015.5

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Decoding choice encodings
• Decoding choice encodings
• Encoding Asynchronous Interactions Using Open Petri Nets
• Translation of CCS into CSP, correct up to strong bisimulation
• On the validity of encodings of the synchronous in the asynchronous -calculus

Cites work

• A brief history of process algebra
• A calculus of communicating systems
• Analysing and comparing encodability criteria
• Barbed bisimulation
• Communicating sequential processes
• Decoding choice encodings
• Hoare vs Milner: comparing synchronizations in a graphical framework with mobility
• scientific article; zbMATH DE number 4014017 (Why is no real title available?)
• scientific article; zbMATH DE number 3817027 (Why is no real title available?)
• Is it a ``good encoding of mixed choice?
• Musings on encodings and expressiveness
• On distributability in process calculi
• Towards a unified approach to encodability and separation results for process calculi
• Why ever CSP?

Cited in

(9)

• On the validity of encodings of the synchronous in the asynchronous -calculus
• Coupled similarity: the first 32 years
• Encoding Asynchronous Interactions Using Open Petri Nets
• Comparing process calculi using encodings
• Analysing and comparing encodability criteria
• Translation of CCS into CSP, correct up to strong bisimulation
• From CCS to CSP: the m-among-n synchronisation approach
• Probabilistic operational correspondence
• Coupled Similarity and Contrasimilarity, and How to Compute Them

Describes a project that uses

Uses Software

• DLC

This page was built for publication: Encoding CSP into CCS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5013872)