| Scribbling interactions with a formal foundation K Honda, A Mukhamedov, G Brown, TC Chen, N Yoshida International Conference on Distributed Computing and Internet Technology, 55-75, 2011 | 154 | 2011 |
| Monitoring networks through multiparty session types L Bocchi, TC Chen, R Demangeon, K Honda, N Yoshida International Conference on Formal Methods for Open Object-Based Distributed …, 2013 | 82 | 2013 |
| On the preciseness of subtyping in session types TC Chen, M Dezani-Ciancaglini, N Yoshida Proceedings of the 16th International Symposium on Principles and Practice …, 2014 | 74 | 2014 |
| Asynchronous distributed monitoring for multiparty session enforcement TC Chen, L Bocchi, PM Deniélou, K Honda, N Yoshida Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen …, 2012 | 65 | 2012 |
| Monitoring networks through multiparty session types L Bocchi, TC Chen, R Demangeon, K Honda, N Yoshida Theoretical Computer Science 669, 33-58, 2017 | 60 | 2017 |
| Structuring communication with session types K Honda, R Hu, R Neykova, TC Chen, R Demangeon, PM Deniélou, ... Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the …, 2014 | 33 | 2014 |
| Session-based compositional analysis for actor-based languages using futures E Kamburjan, CC Din, TC Chen Formal Methods and Software Engineering: 18th International Conference on …, 2016 | 24 | 2016 |
| Specifying stateful asynchronous properties for distributed programs TC Chen, K Honda International Conference on Concurrency Theory, 209-224, 2012 | 23 | 2012 |
| A type theory for robust failure handling in distributed systems TC Chen, M Viering, A Bejleri, L Ziarek, P Eugster Formal Techniques for Distributed Objects, Components, and Systems: 36th …, 2016 | 19 | 2016 |
| Mixin composition synthesis based on intersection types J Bessai, TC Chen, A Dudenhefner, B Düdder, U de'Liguoro, J Rehof Logical Methods in Computer Science 14, 2018 | 15 | 2018 |
| A typing discipline for statically verified crash failure handling in distributed systems M Viering, TC Chen, P Eugster, R Hu, L Ziarek European Symposium on Programming, 799-826, 2018 | 14 | 2018 |
| Stateful behavioral types for active objects E Kamburjan, TC Chen Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018 | 12 | 2018 |
| Mixin composition synthesis based on intersection types J Bessai, A Dudenhefner, TC Chen, U De'Liguoro, J Rehof LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 38, 76-91, 2015 | 11 | 2015 |
| Typing classes and mixins with intersection types J Bessai, B Düdder, A Dudenhefner, TC Chen, U de'Liguoro arXiv preprint arXiv:1503.04911, 2015 | 10 | 2015 |
| Theories for session-based governance for large-scale distributed systems TC Chen Queen Mary University of London, 2013 | 7 | 2013 |
| Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi L Padovani, TC Chen, A Tosatto Coordination Models and Languages: 17th IFIP WG 6.1 International Conference …, 2015 | 6 | 2015 |
| Lightening global types T Chen Journal of Logical and Algebraic Methods in Programming 84 (5), 708-729, 2015 | 4 | 2015 |
| Distributed monitoring for multiparty session enforcement TC Chen, L Bocchi, PM Deniélou, K Honda, N Yoshida | 2 | 2011 |
| Stateful behavioral types for ABS E Kamburjan, TC Chen arXiv preprint arXiv:1802.08492, 2018 | 1 | 2018 |
| Program Verification for Exception Handling on Active Objects Using Futures CC Din, R Schlatte, TC Chen Software Engineering and Formal Methods: 16th International Conference, SEFM …, 2018 | | 2018 |
