Chronological Overview 
 Type-Hierarchical Overview 
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 

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.

 Chronological Overview 
 Type-Hierarchical Overview 
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)

Valid HTML 4.01!