scientific article; zbMATH DE number 7800869

arXiv2209.05232MaRDI QIDQ6190868

Andrew Butterfield, Gerard Ekembe Ngondi, Vasileios Koutavas

Publication date: 6 February 2024

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

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)

Cites Work

• CSP is a retract of CCS
• On the expressiveness of interaction
• Denotational semantics of channel mobility in UTP-CSP
• Introduction to Bisimulation and Coinduction
• Translation of CCS into CSP, correct up to strong bisimulation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: