Computing Bisimulations for Finite-Controlπ-Calculus
| Data(s) |
2000
|
|---|---|
| Identificador | |
| Idioma(s) |
英语 |
| Fonte |
林惠民.Computing Bisimulations for Finite-Controlπ-Calculus,Journal of Computer Science and Technology,2000,15(1):1 |
| Palavras-Chave | #* |
| Tipo |
期刊论文 |
