Yang Weizhen
Results: 4
| # | Item |
|---|---|
1 | ABCD@ London, 20 AprilTimed Multiparty Session Types Laura Bocchi, Weizhen Yang, Nobuko Yoshida CONCUR 2014Add to Reading ListSource URL: mrg.doc.ic.ac.ukLanguage: English - Date: 2016-02-15 15:33:44 |
2 | Timed Multiparty Session Types ? Laura Bocchi, Weizhen Yang, and Nobuko Yoshida Imperial College London Abstract. We propose a typing theory, based on multiparty session types, for modular verification of real-time choreAdd to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2014-05-06 04:45:18 |
3 | Timed Multiparty Session Types? Laura Bocchi, Weizhen Yang, and Nobuko Yoshida Imperial College London, London, UK Abstract. We propose a typing theory, based on multiparty session types, for modular verification of realAdd to Reading ListSource URL: mrg.doc.ic.ac.ukLanguage: English - Date: 2016-02-15 15:33:44 |
4![YANG WEIZHEN[removed]AND THE SOCIAL ART OF PAINTING INSCRIPTIONS BY](https://www.pdfsearch.io/img/6c0044793b1bb533809c41a0153b1410.jpg "YANG WEIZHEN[removed]AND THE SOCIAL ART OF PAINTING INSCRIPTIONS BY") | YANG WEIZHEN[removed]AND THE SOCIAL ART OF PAINTING INSCRIPTIONS BYAdd to Reading ListSource URL: kuscholarworks.ku.eduLanguage: English - Date: 2011-08-30 13:56:36 |