Author:
Deng Yuxin,van Glabbeek Rob,Hennessy Matthew,Morgan Carroll
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Deng, Y., van Glabbeek, R.J., Hennessy, M., Morgan, C.C.: Characterising testing preorders for finite probabilistic processes. Logical Methods in Computer Science 4(4:4) (2008)
2. Deng, Y., van Glabbeek, R.J., Hennessy, M., Morgan, C.C.: Testing finitary probabilistic processes. Full version of this extended abstract (2009), http://www.cse.unsw.edu.au/~rvg/pub/finitary.pdf
3. Deng, Y., van Glabbeek, R.J., Hennessy, M., Morgan, C.C., Zhang, C.: Remarks on testing probabilistic processes. ENTCS 172, 359–397 (2007)
4. Lecture Notes in Computer Science;Y. Deng,2007
5. De Nicola, R., Hennessy, M.: Testing equivalences for processes. Theoretical Computer Science 34, 83–133 (1984)
Cited by
53 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献