Excommunication: transforming \(\pi \)-calculus specifications to remove internal communication (Q6113902)
From MaRDI portal
scientific article; zbMATH DE number 7724799
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Excommunication: transforming \(\pi \)-calculus specifications to remove internal communication |
scientific article; zbMATH DE number 7724799 |
Statements
Excommunication: transforming \(\pi \)-calculus specifications to remove internal communication (English)
0 references
10 August 2023
0 references
\( \pi \)-calculus
0 references
transformation
0 references
simplification
0 references
analysis
0 references
