Publications

2017

  • Sequential Composition in the Presence of Intermediate Termination (with Jos Baeten and Bas Luttik).
    Submitted
    Full version available at arXiv:1706.08401.
    [PDF],[BibTeX].
  • Reactive Turing Machines with Infinite Alphabets (with Bas Luttik).
    Submitted
    Full version available at arXiv:1610.06552.
    [PDF],[BibTeX].
  • 2016

  • On the Executability of Interactive Computation (with Bas Luttik).
    In: Arnold Beckmann, Laurent Bienvenu, Natasa Jonoska, editors, the Proceedings of CiE 2016. LNCS 9709, Springer 2016
    Full version available at arXiv:1601.01546.
    [PDF],[BibTeX].
  • 2015

  • Executable Behaviour and the π-calculus (extended abstract) (with Bas Luttik).
    In: Sophia Knight, Ivan Lanese, Alberto Lluch Lafuente, and Hugo Torres Vieira, editors, the Proceedings of 8th Interaction and Concurrency Experience (ICE 2015), EPTCS 189, pp. 37-52.
    Full version available at arXiv:1410.4512.
    [PDF],[BibTeX].
  • A polynomial time algorithm for checking regularity of totally normed process algebra (with Hao Huang).
    Journal of Shanghai Jiaotong University (Science), 20(3)(2015) pp. 273-280.
    [PDF],[BibTeX].
  • 2013

  • An Interpretation of Erlang into Value-passing Calculus (with Hao Huang).
    Journal of Networks, 8(7)(2013) pp. 1504-1513.
    [PDF],[BibTeX].

  • Technical Reports

  • Bidirectional Transformation on Ordered Graphs (with Soichiro Hidaka).
    GRACE-TR-2015-08, GRACE Center, NII, December 2015.
    [PDF].

  • Talks

  • Executability of Process Calculi with Non-regular Iterators
    FSA colloquium at TU/e (13/04/2017) [Slides].
  • Executability Hierarchy of Reactive Turing Machines with Infinite Alphabets
    FSA colloquium at TU/e (17/11/2016) [Slides].
  • Reactive Turing Machines with Infinite Sets
    FSA colloquium at TU/e (24/03/2016) [Slides].
  • On the Executability of Interactive Computation
    FSA colloquium at TU/e (03/09/2015) and BASICS seminar at SJTU (22/01/2016) [Slides].
    FSA colloquium at TU/e (23/06/2016) and CIE 2016 at Paris (28/06/2016) [Slides]
  • Executable Behaviour and the π-Calculus
    BASICS seminar (26/12/2014) at SJTU [Slides]
    FSA colloquium at TU/e(26/03/2015) and ICE 2015 at Grenoble(09/06/2015) [Slides].
  • Regularity Problems of Process Rewrite Systems
    FSA colloquium at TU/e(26/06/2014) [Slides].
  • Bidirectional Transformation on Ordered Graphs
    BASICS new year seminar at SJTU(03/01/2014) [Slides].

  • Thesis

    Regularity Problems of Process Rewrite Systems
    Master Thesis (in Chinese), Shanghai Jiao Tong University, 2014, supervised by Prof. Yuxi Fu.
    [PDF].