@book{Deng15,
  author    = {Yuxin Deng},
  title     = {Semantics of Probabilistic Processes: An Operational Approach},
  publisher = {Springer},
  year      = {2015},
  isbn      = {9783662451977},
  note      = {Jointly published with Shanghai Jiao Tong University Press.}
}
@InProceedings{DF17,
 author    = {Yuxin Deng and Yuan Feng},
 title     = {Bisimulations for Probabilistic Linear Lambda Calculi},
 booktitle = {Proceedings of the 11th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'17)},
 publisher = {IEEE Computer Society},
 series    = {},
 volume    = {},
 pages     = {},
 year      = {2017},
 note      = {To appear.}
}
@InProceedings{DZL17,
 author    = {Yuxin Deng and Min Zhang and Guoqing Lei},
 title     = {An Algebraic Approach to Automatic Reasoning for NetKAT Based on its Operational Semantics},
 booktitle = {Proceedings of the 19th International Conference on Formal Engineering Methods (ICFEM'19)},
 publisher = {Springer},
 series    = {Lecture Notes in Computer Science},
 volume    = {},
 pages     = {},
 year      = {2017},
 note      = {To appear.}
}
@InProceedings{FDJZ17,
 author    = {Chen Fu and Yuxin Deng and David N. Jansen and Lijun Zhang},
 title     = {On Equivalence Checking of Nondeterministic Finite Automata},
 booktitle = {Proceedings of the the 3rd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications},
 publisher = {Springer},
 series    = {Lecture Notes in Computer Science},
 volume    = {},
 pages     = {},
 year      = {2017},
 note      = {To appear.}
}
@article{WD17,
  author    = {Hengyang Wu and Yuxin Deng},
  title     = {Distribution-Based Behavioural Distance for Nondeterministic Fuzzy Transition Systems},
  journal = {IEEE Transactions on Fuzzy Systems},
  volume    = {},
  number    = {},
  pages     = {},
  year      = {2017},
  note      = {To appear.}
}
@article{WCBD17,
  author    = {Hengyang Wu and and Yixiang Chen and Tianming Bu and Yuxin Deng},
  title     = {Algorithmic and Logical Characterizations of Bisimulation for Non-deterministic Fuzzy Transition Systems},
  journal = {Fuzzy Sets and Systems},
  volume    = {},
  number    = {},
  pages     = {},
  year      = {2017},
  note      = {To appear.}
}
@InProceedings{DDG16,
 author    = {Wenjie Du and Yuxin Deng and Daniel Gebler},
 title     = {Behavioural Pseudometrics for Nondeterministic Probabilistic Systems},
 booktitle = {Proceedings of the the 2nd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications},
 publisher = {Springer},
 series    = {Lecture Notes in Computer Science},
 volume    = {9984},
 pages     = {67-84},
 year      = {2016}
}
@article{WD16,
  author    = {Hengyang Wu and Yuxin Deng},
  title     = {Logical Characterizations of Simulation and Bisimulation for Fuzzy Transition Systems},
  journal = {Fuzzy Sets and Systems},
  volume    = {301},
  number    = {},
  pages     = {19-36},
  year      = {2016}
}
@InProceedings{DFD15,
  author    = {Yuxin Deng and Yuan Feng and Ugo Dal Lago},
  title     = {On Coinduction and Quantum Lambda Calculi},
  booktitle = {Proceedings of the 26th International Conference on Concurrency Theory},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  series    = {LIPIcs},
  year      = {2015},
  volume    = {42},
  pages     = {427-440}
}
@article{DZ15,
  author    = {Yuxin Deng and Yu Zhang},
  title     = {Program Equivalence in Linear Contexts},
  journal = {Theoretical Computer Science},
  volume    = {585},
  number    = {},
  pages     = {71-90},
  year      = {2015}
}
@article{DSC14,
  author    = {Yuxin Deng and Rob J. Simmons and Iliano Cervesato},
  title     = {Relating Reasoning Methodologies in Linear Logic and Process Algebra},
  journal = {Mathematical Structures in Computer Science},
  volume    = {December},
  number    = {},
  pages     = {1-39},
  year      = {2014}
}
@article{FDY14,
  author    = {Yuan Feng and Yuxin Deng and Mingsheng Ying},
  title     = {Symbolic bisimulation for quantum processes},
  journal = {ACM Transactions on Computational Logic},
  volume    = {15},
  number    = {2},
  article   = {14},
  pages     = {1-32},
  year      = {2014}
}
@article{DGHM14,
  author    = {Yuxin Deng and Rob van Glabbeek and Matthew Hennessy and Carroll Morgan},
  title     = {Real-Reward Testing for Probabilistic Processes},
  journal = {Theoretical Computer Science},
  volume    = {538},
  number    = {},
  pages     = {16-36},
  year      = {2014}
}
@InProceedings{DW14,
 author    = {Yuxin Deng and Hengyang Wu},
 title     = {Modal Characterisations of Probabilistic and Fuzzy Bisimulations},
 booktitle = {Proceedings of the 16th International Conference on Formal Engineering Methods},
 publisher = {Springer},
 series    = {Lecture Notes in Computer Science},
 volume    = {8829},
 pages     = {123-138},
 year      = {2014}
}
@article{DH13,
  author    = {Yuxin Deng and Matthew Hennessy},
  title     = {Compositional Reasoning for Weighted Markov Decision Processes},
  journal = {Science of Computer Programming},
  year      = {2013},
  volume    = {78},
  number    = {},
  pages     = {2537-2579}
}
@InProceedings{DZDZ13,
 author    = {Xiaojie Deng and Yu Zhang and Yuxin Deng and Farong Zhong},
 title     = {The Buffered Pi-Calculus: A Model for Concurrent Languages},
 booktitle = {Proceedings of the 7th International Conference on Language and
              Automata Theory and Applications},
 publisher = {Springer},
 series    = {Lecture Notes in Computer Science},
 volume    = {7810},
 pages     = {250-261},
 year      = {2013}
}
@InProceedings{DF12,
 author    = {Yuxin Deng and Yuan Feng},
 title     = {Open Bisimulation for Quantum Processes},
 booktitle = {Proceedings of the 7th IFIP International Conference on
              Theoretical Computer Science},
 publisher = {Springer},
 series    = {Lecture Notes in Computer Science},
 volume    = {7604},
 pages     = {119-133},
 year      = {2012}
}
@Article{DT12,
 author    = {Yuxin Deng and Alwen Tiu},
 title     = {Characterisations of Testing Preorders for a Finite Probabilistic Pi-Calculus},
 journal   = {Formal Aspects of Computing},
 volume    = {24},
 number    = {4-6},
 pages     = {701-726},
 year      = {2012}
}
@article{DSC12,
  author    = {Yuxin Deng and Robert J. Simmons and Iliano Cervesato},
  title     = {Relating Reasoning Methodologies in Linear Logic and Process Algebra},
  journal = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {101},
  pages     = {50-60},
  year      = {2012}
}
@TechReport{DSC11,
  author    = {Yuxin Deng and Robert J. Simmons and Iliano Cervesato},
  title     = {Relating Reasoning Methodologies in Linear Logic and Process Algebra},
  number    = {CMU-CS-11-145},
  institution = {Carnegie Mellon University},
  month     = {December},
  year      = {2011}
}
@InProceedings{DH11a,
  author    = {Yuxin Deng and Matthew Hennessy},
  title     = {On the Semantics of Markov Automata},
  booktitle = {Proceedings of the 38th International Colloquium on Automata,
  Languages and Programming (ICALP'11)},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  year      = {2011},
  volume    = {6756},
  pages     = {307-318}
}
@Article{DH13,
 author    = {Yuxin Deng and Matthew Hennessy},
 title     = {On the Semantics of Markov Automata},
 journal   = {Information and Computation},
 volume    = {222},
 number    = {},
 pages     = {139-168},
 year      = {2013}
}
@TechReport{DD11,
  author    = {Yuxin Deng and Wenjie Du},
  title     = {Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation},
  number    = {CMU-CS-11-110},
  institution = {Carnegie Mellon University},
  month     = {March},
  year      = {2011}
}

@InProceedings{DGM11,

  author    = {Yuxin Deng and Stephane Grumbach and Jean-Francois Monin},

  title     = {A Framework for Verifying Data-Centric Protocols},

  booktitle = {Proceedings of FMOODS \& FORTE 2011},

  publisher = {Springer},

  series    = {Lecture Notes in Computer Science},

  year      = {2011},

 volume    = {6722},

 pages     = {106-120},
 note      = {Full version appeared as INRIA Research Report 7511}
}

@InProceedings{DGHM11,
  author    = {Yuxin Deng and Rob van Glabbeek and Matthew Hennessy and Carroll Morgan},
  title     = {Real-Reward Testing for Probabilistic Processes},
  booktitle = {Proceedings of the 9th Workshop on Quantitative Aspects of
Programming Languages (QAPL'11)},
  publisher = {Electronic Proceedings in Theoretical Computer Science},
  series    = {},
  volume    = {57},
  pages     = {61-73},
  year      = {2011}
}


@InProceedings{DH11,

  author    = {Yuxin Deng and Matthew Hennessy},

  title     = {Compositional Reasoning for Markov Decision Processes (Extended Abstract)},

  booktitle = {Proceedings of the 4th International Conference on

               Foundamentals of Software Engineering (FSEN'11)},

  publisher = {Springer},

  series    = {Lecture Notes in Computer Science},

  year      = {2012},

  volume    = {7141},

  pages     = {143-157}

}


@InProceedings{DG10,

  author    = {Yuxin Deng and Rob van Glabbeek},

  title     = {Characterising Probabilistic Processes Logically},

  booktitle = {Proceedings of the 17th International Conference on

               Logic for Programming, Artificial Intelligence and Reasoning},

  publisher = {Springer},

  series    = {Lecture Notes in Computer Science},

  year      = {2010},

  volume    = {6397},

  pages     = {278-293}

}


@InProceedings{LZD09,

  author    = {Xiangxi Li and Yu Zhang and Yuxin Deng},

  title     = {Verifying Anonymous Credential Systems in Applied Pi Calculus},

  booktitle = {Proceedings of the 8th International Conference on Cryptology and Network Security},

  publisher = {Springer},

  series    = {Lecture Notes in Computer Science},

  year      = {2009},

  volume    = {5888},

  pages     = {209-225}

}


@InProceedings{DD09b,

  author    = {Yuxin Deng and Wenjie Du},

  title     = {A Local Algorithm for Checking Probabilistic Bisimilarity},

  booktitle = {Proceedings of the 4th International Conference on

             Frontier of Computer Science and Technology},

  publisher = {IEEE Computer Society},

  pages     = {401-407},

  year      = {2009}

}


@article{DD09a,

  author    = {Wenjie Du and Yuxin Deng},

  title     = {On Mobility and Communication},

  journal   = {Electronic Notes in Theoretical Computer Science},

  volume    = {257},

  number    = {},

  pages     = {19-33},

  year      = {2009}

}


@InProceedings{DGHM09,

  author    = {Yuxin Deng and Rob van Glabbeek and Matthew Hennessy and Carroll Morgan},

  title     = {Testing Finitary Probabilistic Processes (Extended Abstract)},

  booktitle = {Proceedings of the 20th International Conference on Concurrency Theory},

  publisher = {Springer},

  series    = {Lecture Notes in Computer Science},

  year      = {2009},

 volume    = {5710},

 pages     = {274-288}

}


@InProceedings{DM09,

  author    = {Yuxin Deng and Jean-Francois Monin},

  title     = {Verifying Self-stabilizing Population Protocols with Coq},

  booktitle = {Proceedings of the 3rd IEEE International Symposium on

              Theoretical Aspects of Software Engineering},

  publisher = {IEEE Computer Society},

  pages     = {201-208},

  year      = {2009}

}


@article{DD09,

  author    = {Yuxin Deng and Wenjie Du},

  title     = {Kantorovich Metric in Computer Science: A Brief Survey},

  journal   = {Electronic Notes in Theoretical Computer Science},

  volume    = {353},

  number    = {3},

  pages     = {73-82},

  year      = {2009}

}


@InProceedings{CD08,

  author    = {Xin Chen and Yuxin Deng},

  title     = {Game Characterizations of Process Equivalences},

  booktitle = {Proceedings of the 6th Asian Symposium on Programming Languages and Systems},

  publisher = {Springer},

  series    = {Lecture Notes in Computer Science},

  volume    = {5356},

  pages     = {107-121},

  year      = {2008}

}


@InProceedings{PLD08,

  author    = {Jun Pang and Zhengqin Luo and Yuxin Deng},

  title     = {On Automatic Verification of Self-stabilizing Population Protocols},

  booktitle = {Proceedings of the 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering},

  publisher = {IEEE Computer Society},

  pages     = {185-192},

  year      = {2008}

}


@article{Deng07,

  author    = {Yuxin Deng},

  title     = {A simple completeness proof for the axiomatisations of weak

behavioural equivalences},

  journal   = {Bulletin of the EATCS},

  volume    = {93},

  year      = {2007},

  pages     = {207-219}

}


@InProceedings{DGMZ07b,

  author    = {Yuxin Deng and Rob van Glabbeek and Matthew Hennessy and Carroll Morgan and Chenyi Zhang},

  title     = {Characterising Testing Preorders for Finite Probabilistic Processes},

  booktitle = {Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science},

  publisher = {IEEE Computer Society},

  pages    = {313-325},

  year      = {2007}

}


@article{DGHM08,

  author    = {Yuxin Deng and Rob van Glabbeek and Matthew Hennessy and Carroll Morgan},

  title     = {Characterising Testing Preorders for Finite Probabilistic Processes},

  journal   = {Logical Methods in Computer Science},

  volume    = {4},

  number    = {4:4},

  pages     = {1-33},

  year      = {2008}

}


@article{DGHMZ07,

  author    = {Yuxin Deng and Rob van Glabbeek and Matthew Hennessy and Carroll Morgan and Chenyi Zhang},

  title     = {Remarks on Testing Probabilistic Processes},

  journal   = {Electronic Notes in Theoretical Computer Science},

  volume    = {172},

  number    = {},

  pages     = {359-397},

  year      = {2007}

}


@InProceedings{DGMZ07,

  author    = {Yuxin Deng and Rob van Glabbeek and Carroll Morgan and Chenyi Zhang},

  title     = {Scalar Outcomes Suffice for Finitary Probabilistic Testing},

  booktitle = {Proceedings of the 16th European Symposium on Programming},

  publisher = {Springer},

  series    = {Lecture Notes in Computer Science},

  year      = {2007},

 volume    = {4421},

 pages     = {363-378}

}


@article{DD07,

  author    = {Yuxin Deng and Wenjie Du},

  title     = {Probabilistic Barbed Congruence},

  journal   = {Electronic Notes in Theoretical Computer Science},

  volume    = {190},

  number    = {3},

  pages     = {185-203},

  year      = {2007},

  note      = {Also appeared in {\em Proceedings of the 5th Workshop on

               Quantitative Aspects of Programming Languages}}

}


@InProceedings{SDC07,

  author    = {Lin Song and Yuxin Deng and Xiaojuan Cai},

  title     = {Towards automatic measurement of probabilistic processes},

  booktitle = {Proceedings of the 7th International Conference on Quality

               Software},

  publisher = {IEEE Computer Society},

  pages    = {50-59},

  year      = {2007}

}


@InProceedings{LCPD07,

  author    = {Zhengqin Luo and Xiaojuan Cai and Jun Pang and Yuxin Deng},

  title     = {Analyzing an Electronic Cash Protocol Using Applied Pi Calculus},

  booktitle = {Proceedings of the 5th International Conference on

               Applied Cryptography and Network Security},

  publisher = {Springer},

  series    = {Lecture Notes in Computer Science},

  year      = {2007},

  volume    = {4521},

  pages     = {87-103}

}


@InProceedings{DPW07,

  author    = {Yuxin Deng and Jun Pang and Peng Wu},

  title     = {Measuring Anonymity with Relative Entropy},

  booktitle = {Proceedings of the 4th International Workshop on Formal Aspects

               in Security and Trust},

  publisher = {Springer},

  series    = {Lecture Notes in Computer Science},

  year      = {2007},

  volume    = {4691},

  pages     = {65-79}

}


@InProceedings{DPP05a,

  author    = {Yuxin Deng and

               Catuscia Palamidessi and

               Jun Pang},

  title     = {Compositional Reasoning for Probabilistic Finite-State Behaviors},

  booktitle = {Processes, Terms and Cycles: Steps on the Road to Infinity,

               Essays Dedicated to Jan Willem Klop, on the Occasion of

               His 60th Birthday},

  year      = {2005},

  pages     = {309-337},

  publisher = {Springer},

  series    = {Lecture Notes in Computer Science},

  volume    = {3838}

}


@article{DPP05,

 author    = {Yuxin Deng and Catuscia Palamidessi and Jun Pang},

 title     = {Weak Probabilistic Anonymity},

 journal   = {Electronic Notes in Theoretical Computer Science},

 volume    = {180},

 number    = {1},

 pages     = {55-76},

 year      = {2007},

 note      = {Also appeared in {\em Proceedings of the 3rd International Workshop on Security Issues in Concurrency}}

}


@article{DCPP05,

 author    = {Yuxin Deng and Tom Chothia and Catuscia Palamidessi

              and Jun Pang},

 title     = {Metrics for Action-labelled Quantitative Transition

              Systems},

 journal    = {Electronic Notes in Theoretical Computer Science},

 volume    = {153},

 number    = {2},

 pages     = {79-96},

 year      = {2006},

 note = {Also appeared in {\em Proceedings of the 3rd Workshop on

              Quantitative Aspects of Programming Languages}}

}


@InProceedings{DP05,

 author    = {Yuxin Deng and Catuscia Palamidessi},

 title     = {Axiomatizations for probabilistic finite-state behaviors},

 booktitle = {Proceedings of the 8th International Conference on

              Foundations of Software Science and Computation Structures},

 publisher = {Springer},

 series    = {Lecture Notes in Computer Science},

 year      = {2005},

 volume    = {3441},

 pages     = {110-124}

}


@Article{DP07,

 author    = {Yuxin Deng and Catuscia Palamidessi},

 title     = {Axiomatizations for probabilistic finite-state behaviors},

 journal   = {Theoretical Computer Science},

 volume    = {373},

 number    = {1-2},

 pages     = {92-114},

 year      = {2007}

}


@InProceedings{DS04b,

 author    = {Yuxin Deng and Davide Sangiorgi},

 title     = {Ensuring termination by typability},

 booktitle = {Proceedings of the 3rd IFIP International Conference on

              Theoretical Computer Science},

 publisher = {Kluwer},

 pages     = {619--632},

 year      = {2004}

}


@Article{DS06,

 author    = {Yuxin Deng and Davide Sangiorgi},

 title     = {Ensuring termination by typability},

 journal   = {Information and Computation},

 volume    = {204},

 number    = {7},

 pages     = {1045-1082},

 year      = {2006}

}


@InProceedings{DS04a,

 author    = {Yuxin Deng and Davide Sangiorgi},

 title     = {Towards an algebraic theory of typed mobile processes},

 booktitle = {Proceedings of the 31st International Colloquium on

              Automata, Languages and Programming},

 publisher = {Springer},

 series    = {Lecture Notes in Computer Science},

 volume    = {3142},

 pages     = {445--456},

 year      = {2004}

}


@Article{DS05,

 author    = {Yuxin Deng and Davide Sangiorgi},

 title     = {Towards an algebraic theory of typed mobile processes},

 journal   = {Theoretical Computer Science},

 volume    = {350},

 number    = {2-3},

 pages     = {188-212},

 year      = {2006}

 }
@PhdThesis{Deng05,
 author    = {Yuxin Deng},
 title     = {Axiomatisations and Types for Probabilistic and Mobile
              Processes},
 school    = {Ecole des Mines de Paris, France},
 year      = {2005}
}

@Article{DF01,
 author    = {Yuxin Deng and Yuxi Fu},
 title     = {Algorithm for verifying strong open bisimulation in full
              pi-calculus},
 journal   = {Journal of Shanghai Jiaotong University},
 volume    = {E-5},
 number    = {2},
 pages     = {147--152},
 year      = {2001}
}