On a Connection Between Cooperating Distributed Grammar Systems and Basic Process Algebra
暂无分享,去创建一个
[1] Grzegorz Rozenberg,et al. Handbook of formal languages, vol. 1: word, language, grammar , 1997 .
[2] Erzsébet Csuhaj-Varjú,et al. On Cooperating/Distributed Grammar Systems , 1990, J. Inf. Process. Cybern..
[3] Robert E. Tarjan,et al. Three Partition Refinement Algorithms , 1987, SIAM J. Comput..
[4] Gheorghe Paun,et al. Grammar Systems , 1997, Handbook of Formal Languages.
[5] Gheorghe Paun,et al. Grammar Systems: A Grammatical Approach to Distribution and Cooperation , 1995, ICALP.
[6] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[7] Grzegorz Rozenberg,et al. Handbook of formal languages, vol. 3: beyond words , 1997 .
[8] Faron Moller,et al. A Polynomial Algorithm for Deciding Bisimilarity of Normed Context-Free Processes , 1994, Theor. Comput. Sci..
[9] Jan A. Bergstra,et al. Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages , 1987, PARLE.
[10] Jan A. Bergstra,et al. Decidability of bisimulation equivalence for process generating context-free languages , 1987, JACM.
[11] Robert Meersman,et al. Cooperating Grammar Systems , 1978, MFCS.