Publisher
Springer Nature Switzerland
Reference13 articles.
1. Lecture Notes in Computer Science;E Brinksma,1995
2. De Nicola, R., Hennessy, M.: Testing equivalences for processes. Theoret. Comput. Sci. 34, 83–133 (1984). https://doi.org/10.1016/0304-3975(84)90113-0
3. Deng, Y., van Glabbeek, R.J., Hennessy, M., Morgan, C.C.: Characterising testing preorders for finite probabilistic processes. Log. Methods Comput. Sci. 4(4), 4 (2008). https://doi.org/10.2168/LMCS-4(4:4)2008
4. van Glabbeek, R.J.: Just testing. https://theory.stanford.edu/~rvg/abstracts.html#160
5. Lecture Notes in Computer Science;RJ van Glabbeek,2019