Fei Yang (Eindhoven University of Technology)
Identifiers
- name variant Fei Yang (Eindhoven University of Technology) 0.60 · backfill
Papers (2)
- Sequential Composition in the Presence of Intermediate Termination (Extended Abstract) cs.LO · 2017 · author #4
- Executable Behaviour and the \pi-Calculus (extended abstract) cs.LO · 2015 · author #2
Mentions
- 1508.04850 #2 · backfill · confidence 0.70 Fei Yang (Eindhoven University of Technology)
Frequent Coauthors
- Bas Luttik (Eindhoven University of Technology) 2 shared papers
- Jos Baeten (CWI 1 shared papers
- University of Amsterdam) 1 shared papers