Towards `up to context' reasoning about higher-order processes (Q2286742)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Towards `up to context' reasoning about higher-order processes |
scientific article |
Statements
Towards `up to context' reasoning about higher-order processes (English)
0 references
22 January 2020
0 references
bisimilarity
0 references
unique solution of equations
0 references
termination
0 references
process calculi
0 references
higher-order processes
0 references
