Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators (Q5958469)
From MaRDI portal
scientific article; zbMATH DE number 1715470
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators |
scientific article; zbMATH DE number 1715470 |
Statements
Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators (English)
0 references
3 March 2002
0 references
mobile processes
0 references
semantics
0 references
expressive powers
0 references
combinators
0 references
asynchronous pi-calculus
0 references
