|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| Tzu-Chun Chen | |
|---|---|
| Personal Home Page Type-Hierarchical Overview | |
| Chronological Overview | |
| 2018 | |
| Bessai, Chen, Dudenhefner, Dï¿œdder, de' Liguoro and Rehof | "Mixin Composition Synthesis based on Intersection Types" Article: Logical Methods in Computer Science. |
| 2017 | |
| Chen, Dezani-Ciancaglini, Scalas and Yoshida | "On the Preciseness of Subtyping in Session Types" Article. |
| 2015 | |
| Bessai, Dudenhefner, Düdder, Chen, de' Liguoro and Rehof | "Mixin Composition Synthesis Based on Intersection Types" In proceedings: TLCA'15. |
| Bessai, Düdder, Dudenhefner, Chen and de' Liguoro | "Typing Classes and Mixins with Intersection Types" In proceedings: ITRS'14. |
| Padovani, Chen and Tosatto | "Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear pi-Calculi" In proceedings. |
| 2014 | |
| Chen | "Lightening Global Types" In proceedings: PLACES 2014. |
| Chen, Dezani-Ciancaglini and Yoshida | "On the Preciseness of Subtyping in Session Types" In proceedings. |
| de' Liguoro and Chen | "Semantic Types for Classes and Mixins" Unpublished: ITRS14. |
| 2013 | |
| Bocchi, Chen, Demangeon, Honda and Yoshida | "Monitoring Networks through Multiparty Session Types" In proceedings: FMOOD/FORTE 2013. |
| Chen | "Theories for Session-based Governance for Large-scale Distributed Systems" PhD thesis: Queen Mary, University of London. |
| 2012 | |
| Chen and Honda | "Specifying Stateful Asynchronous Properties for Distributed Programs" In proceedings: CONCUR 2012. |
| 2011 | |
| Chen, Bocchi, Deniélou, Honda and Yoshida | "Asynchronous Distributed Monitoring for Multiparty Session Enforcement" In proceedings: TGC 2011. |
| Honda, Mukhamedov, Brown, Chen and Yoshida | "Scribbling Interactions with a Formal Foundation" In proceedings: ICDCIT 2011. |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)