On the discriminating power of passivation and higher-order interaction (Q4635597)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On the discriminating power of passivation and higher-order interaction |
scientific article; zbMATH DE number 6863072
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7742447853088379
0 references
0.7626700401306152
0 references
0.7425232529640198
0 references
0.73184734582901
0 references
0.7304869890213013
0 references
