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