On the discriminating power of passivation and higher-order interaction (Q4635597)
From MaRDI portal
scientific article; zbMATH DE number 6863072
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the discriminating power of passivation and higher-order interaction |
scientific article; zbMATH DE number 6863072 |
Statements
On the discriminating power of passivation and higher-order interaction (English)
0 references
23 April 2018
0 references
CCS
0 references
contextual equivalence
0 references
higher-order pi-calculus
0 references
lambda-calculus
0 references
passivation
0 references
probabilistic processes
0 references
