Travelled to:1 × Denmark
1 × Italy
1 × Latvia
Collaborated with:∅ Q.Yin C.He M.Huang X.Tao
Talks about:check (2) bisimilar (1) communic (1) approach (1) theoret (1) regular (1) silent (1) branch (1) proof (1) equal (1)
Person: Yuxi Fu
DBLP: Fu:Yuxi
Contributed to:
201420131997Wrote 3 papers:
- ICALP-v2-2014-YinFHHT #branch #similarity
- Branching Bisimilarity Checking for PRS (QY, YF, CH, MH, XT), pp. 363–374.
- ICALP-v2-2013-Fu #similarity
- Checking Equality and Regularity for Normed BPA with Silent Moves (YF), pp. 238–249.
- ICALP-1997-Fu #approach #communication #proving
- A Proof Theoretical Approach to Communication (YF), pp. 325–335.