Behavioral equivalence in the polymorphic pi-calculus (Q5487879)
From MaRDI portal
scientific article; zbMATH DE number 5053221
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
