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 | 168 | 2011 |
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 | 86 | 2014 |
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 | 84 | 2013 |
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 | 69 | 2012 |
Monitoring networks through multiparty session types L Bocchi, TC Chen, R Demangeon, K Honda, N Yoshida Theoretical Computer Science 669, 33-58, 2017 | 65 | 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 | 35 | 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 | 25 | 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 | 21 | 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 | 12 | 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 | 11 | 2015 |
Theories for session-based governance for large-scale distributed systems TC Chen Queen Mary University of London, 2013 | 8 | 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 |
On the Preciseness of Subtyping in Session Types: 10 Years Later TC Chen, M Dezani-Ciancaglini, N Yoshida Proceedings of the 26th International Symposium on Principles and Practice …, 2024 | | 2024 |