AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Tzu chun Chen

Tzu chun Chen

Technische Universität Darmstadt - Darmstadt / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 1779942
Darmstadt University of Technology
person_outline Tzu chun Chen's MOST POPULAR ARTICLES
1-) Scribbling interactions with a formal foundation International Conference on Distributed Computing and Internet Technology, 55-75, 2011
2-) On the preciseness of subtyping in session types Proceedings of the 16th International Symposium on Principles and Practice …, 2014
3-) Monitoring networks through multiparty session types International Conference on Formal Methods for Open Object-Based Distributed …, 2013
4-) Monitoring networks through multiparty session types Theoretical Computer Science 669, 33-58, 2017
5-) Asynchronous distributed monitoring for multiparty session enforcement International Symposium on Trustworthy Global Computing, 25-45, 2011