Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Theoretical Computer Science
Reference32 articles.
1. Park D. Concurrency and automata on infinite sequences. In: Proceedings of the 5th GI Conference, Lecture Notes in Computer Science. 1981, 167–183
2. Milner R. Communication and concurrency. 1st ed. New Jersey: Prentice-Hall, Inc., 1989
3. Van Glabbeek R J, Weijland W P. Branching time and abstraction in bisimulation semantics. Journal of the ACM (JACM), 1996, 43(3): 555–600
4. Hopcroft J, Ullman J. Introduction to Automata Theory, Languages and Computation. 1st ed. New York: Addison-Wesley Publishing Company, 1979
5. Ginsburg S, Greibach S. Deterministic context free languages. Information and Control, 1966, 9(6): 620–648
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献