Author:
Cleaveland Rance,Smolka Scott A.,Zwarico Amy
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. B. Bloom and A. R. Meyer. A remark on bisimulation between probabilistic processes. In Meyer and Tsailin, editors, Logik at Botik, Springer-Verlag, 1989.
2. Technical Report DoCS 90/22;I. Christoff,1990
3. R. Cleaveland and A. Zwarico. A theory of testing for real-time. In Proceedings of the Sixth IEEE Symposium on Logic in Computer Science, July 1991.
4. R. De Nicola. Extensional equivalences for transition systems. Acta Informatica, 24:211–237, 1987.
5. R. De Nicola and M. C. B. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34:83–133, 1983.
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献