|
|||||
|
|
Type inference for a distributed π-calculus |
|
| Authors: | C dric Lhoussaine |
| Affiliation: | University of Sussex, Brighton, UK |
| Abstract: | |
| Keywords: | Author Keywords: Type inference π-calculus Migration Row Dependent types |
| 本文献已被 ScienceDirect 等数据库收录！ | |