scientific article; zbMATH DE number 7438561

zbMath1476.68173arXiv1508.06712MaRDI QIDQ5013872

Kirstin Peters, Christoph Wagner, Meike Hatzel, Uwe Nestmann

Publication date: 3 December 2021

Full work available at URL: https://arxiv.org/abs/1508.06712

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus, Coupled similarity: the first 32 years, Translation of CCS into CSP, correct up to strong bisimulation, Unnamed Item, Unnamed Item

Uses Software

• DLC

Cites Work

• A calculus of communicating systems
• A brief history of process algebra
• Decoding choice encodings
• Towards a unified approach to encodability and separation results for process calculi
• Is It a “Good” Encoding of Mixed Choice?
• Communicating sequential processes
• Barbed bisimulation
• Why ever CSP?
• On Distributability in Process Calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item