Distinguishing and relating higher-order and first-order processes by expressiveness (Q1935453)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Distinguishing and relating higher-order and first-order processes by expressiveness |
scientific article |
Statements
Distinguishing and relating higher-order and first-order processes by expressiveness (English)
0 references
15 February 2013
0 references
This paper compares the expressive power of higher-order and first-order process calculi. To this end, the process-passing and the name-passing paradigms are formally related. It presents the following results: -- first-order pi-calculus can faithfully express basic higher-order pi-calculus, even when enriched with a relabelling operator; -- basic higher-order pi-calculus cannot interpret first-order pi-calculus reasonably; An encoding from first-order pi-calculus to basic higher-order pi-calculus enriched with a relabelling operator is also revisited and discussed.
0 references
pi-calculus
0 references
higher-order processes
0 references
first-order processes
0 references
0 references
