Journal Papers

 

[1] Laura Bocchi, Tzu-Chun  Chen, Romain  Demangeon, Kohei Honda, Nobuko Yoshida:

Monitoring Networks through Multiparty Session Types. Theoretical Computer Science 669: 33-58 (2017). Link

 

This article is the full version of the extended abstract published in FORTE/FMOODS 2013 and the second author’s thesis. This submission expanded the conference version and a part of the second author’s thesis and differs from them in several aspects. In particular, apart from the full definitions omitted from the extended abstract, we have added complete proofs and a full account of session fidelity which was just sketched in the conference version.

 

[2] Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida:

On the Preciseness of Subtyping in Session Types. Logical Methods in Computer Science. Accepted, to appear

 

This article is the full version of the extended abstract published in PPDP 2014, including detailed definitions and full proofs, which were omitted. In addition, we provide new results about the uniqueness of precise subtyping relations (Corollary 3.5, Theorem 5.10). Moreover, we include a new section (Section 6) dealing with session initialisation and with communication of expressions (including shared channels), which were not treated: this demonstrates that our approach smoothly generalises to the original calculus, showing that the invariance of shared channel types is precise. 

 

[3] Tzu-Chun Chen:

Lightening global types. J. Log. Algebr. Meth. Program. 84(5): 708-729 (2015). Link

 

This article is the full version of the extended abstract published in PLACES 2014, including the complete type system, a full account of lightening function, and the complete proofs, which were omitted in the workshop version.

 

Conference Papers

 

 

[4] Malte Viering, Tzu-Chun Chen, Patrick EugsterRaymond HuLukasz Ziarek:
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems.ESOP 2018: 799-826. Link

 

[5]  Crystal Chang DinRudolf Schlatte, Tzu-Chun Chen:
Program Verification for Exception Handling on Active Objects Using Futures. SEFM 2018: 73-88. Link

 

[6] Tzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek, Patrick Eugster:

A Type Theory for Robust Failure Handling in Distributed Systems. FORTE 2016: 96-113. Link

 

[7] Eduard Kamburjan, Crystal Chang Din, Tzu-Chun Chen:

Session-Based Compositional Analysis for Actor-Based Languages Using Futures. ICFEM 2016: 296-312. Link

 

[8] Luca Padovani, Tzu-Chun Chen, Andrea Tosatto:

Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi. COORDINATION 2015: 83-98. Link

 

[9] Jan Bessai, Andrej Dudenhefner, Boris Düdder, Tzu-Chun Chen, Ugo de'Liguoro, Jakob Rehof:

Mixin Composition Synthesis Based on Intersection Types. TLCA 2015: 76-91. Link

 

[10] Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida:

Structuring Communication with Session Types. Concurrent Objects and Beyond 2014: 105-127. Link

 

[11] Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida:

On the Preciseness of Subtyping in Session Types. PPDP 2014: 135-146. Link

 

[12] Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida:

Monitoring Networks through Multiparty Session Types. FMOODS/FORTE 2013: 50-65. Link

 

[13] Tzu-Chun Chen, Kohei Honda:

Specifying Stateful Asynchronous Properties for Distributed Programs. CONCUR 2012: 209-224. Link

 

[14] Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida:

Scribbling Interactions with a Formal Foundation. ICDCIT 2011: 55-75. Link

 

Workshop Papers

 

[15] Tzu-Chun Chen:

Lightening Global Types. PLACES 2014: 38-46. Link

 

[16] Jan Bessai, Boris Düdder, Andrej Dudenhefner, Tzu-Chun Chen, Ugo de'Liguoro:

Typing Classes and Mixins with Intersection Types. ITRS 2014: 79-93. Link

 

[17] Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida:

Asynchronous Distributed Monitoring for Multiparty Session Enforcement. TGC 2011: 25-45. Link

Call

T: (+49) 06151-16-27813