|
|||||
|
|
Adding Recursion to Dpi: (Extended Abstract) |
|
| Authors: | Samuel Hym Matthew Hennessy |
| Affiliation: | PPS, Université Paris 7 & CNRS;Department of Informatics, University of Sussex |
| Abstract: | |
| Keywords: | smCaps" >Dpi-calculus recursion implementation using replication recursive and coinductive types |
| 本文献已被 ScienceDirect 等数据库收录！ | |