Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. A. Aho, J. Hopcroft, and J. Ullman. Design and Analysis of Algorithms. Addisom Wesley, 1974.
2. Lect Notes Comput Sci;S. Bensalem,1992
3. A. Bouajjani, J.C. Fernandez, N. Halbwachs, C. Ratel, and P. Raymond. Minimal state graph generation. Science of Computer Programming, 18(3):247–271, June 1992.
4. S. D. Brookes, C. A. R. Hoare, and A. W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(3):560–599, July 1984.
5. B. Bloom. Ready Simulaton, Bisimulation, and the Semantics of CCS-Like languages. PhD thesis, Massachusetts Institute of Technology, Aug. 1989.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献