Tzu-Chun Chen

Identifiers

No identifiers captured yet.

Papers (2)

1. Stateful Behavioral Types for ABS cs.PL · 2018 · author #2
2. On the Preciseness of Subtyping in Session Types cs.LO · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Alceste Scalas 1 shared papers
• Eduard Kamburjan 1 shared papers
• Mariangiola Dezani-Ciancaglini 1 shared papers
• Nobuko Yoshida 1 shared papers