Behavioral equivalence in the polymorphic pi-calculus (Q5487879)
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: Behavioral equivalence in the polymorphic pi-calculus |
scientific article; zbMATH DE number 5053221
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Behavioral equivalence in the polymorphic pi-calculus |
scientific article; zbMATH DE number 5053221 |
Statements
Behavioral equivalence in the polymorphic pi-calculus (English)
0 references
12 September 2006
0 references
parametric polymorphism in message-based concurrent programming
0 references
polymorphic lambda-calculus
0 references
0.8012415170669556
0 references
0.790829598903656
0 references
0.7825628519058228
0 references
0.7809094190597534
0 references
