No label defined (Q5856418)
From MaRDI portal
scientific article; zbMATH DE number 7327947
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 7327947 |
Statements
26 March 2021
0 references
reactive Turing machine
0 references
\(\pi\)-calculus
0 references
behavioural completeness
0 references
orbit-finite executability
0 references
absolute expressiveness of process calculi
0 references
divergence-preserving branching bisimilarity
0 references
0 references
