|
|||||
|
|
Characteristic bisimulation for higher-order session processes |
|
| Authors: | Kouzapas Dimitrios Pérez Jorge A. Yoshida Nobuko |
| Affiliation: | 1.University of Glasgow, Glasgow, UK ;2.University of Groningen, Groningen and CWI, Amsterdam, The Netherlands ;3.Imperial College London, London, UK ; |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |