Translation of CCS into CSP, correct up to strong bisimulation (Q6045054)
From MaRDI portal
scientific article; zbMATH DE number 7689391
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Translation of CCS into CSP, correct up to strong bisimulation |
scientific article; zbMATH DE number 7689391 |
Statements
Translation of CCS into CSP, correct up to strong bisimulation (English)
0 references
26 May 2023
0 references
concurrency theory
0 references
calculus of communicating systems (CCS)
0 references
communicating sequential processes (CSP)
0 references
correct translation
0 references
