Parameterizing higher-order processes on names and processes (Q5108373)
From MaRDI portal
scientific article; zbMATH DE number 7195830
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Parameterizing higher-order processes on names and processes |
scientific article; zbMATH DE number 7195830 |
Statements
Parameterizing higher-order processes on names and processes (English)
0 references
4 May 2020
0 references
parameterization
0 references
encoding
0 references
context bisimulation
0 references
normal bisimulation
0 references
higher-order process
0 references
first-order process
0 references
0 references
