Towards a Unified Approach to Encodability and Separation Results for Process Calculi (Q3541040)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Towards a Unified Approach to Encodability and Separation Results for Process Calculi |
scientific article |
Statements
Towards a Unified Approach to Encodability and Separation Results for Process Calculi (English)
0 references
25 November 2008
0 references
