cs0008018/gagb.bbl
1: \begin{thebibliography}{CHM93}
2: 
3: \bibitem[Bau91]{Bau91}
4: M.~Bauderon.
5: \newblock Infinite hypergraph {I}, basic properties (fundamental study).
6: \newblock {\em TCS 82}, pages 177--214, 1991.
7: 
8: \bibitem[Bau92]{Bau92}
9: M.~Bauderon.
10: \newblock Infinite hypergraph {II}, systems of recursive equations.
11: \newblock {\em TCS 103}, pages 165--190, 1992.
12: 
13: \bibitem[BBK87]{Bae-Ber-Klo87}
14: J.~Baeten, J.~Bergstra, and J.~Klop.
15: \newblock Decidability of bisimulation equivalence for processes generating
16:   context-free languages.
17: \newblock In {\em Proceedings of {PARLE} 87}, pages 94--111. LNCS 259, 1987.
18: 
19: \bibitem[Bof90]{Bof90}
20: M.~Boffa.
21: \newblock Une remarque sur les syst\`emes complets d'identit\'es rationnelles.
22: \newblock {\em RAIRO, Theoretical Informatics and Applications 24(4)}, pages
23:   419--423, 1990.
24: 
25: \bibitem[Cau90]{Cau90canon}
26: D.~Caucal.
27: \newblock Graphes canoniques des graphes alg\'ebriques.
28: \newblock {\em RAIRO, Informatique Th\'eorique et Applications, 24(4)}, pages
29:   339--352, 1990.
30: 
31: \bibitem[Cau95]{Cau95}
32: D.~Caucal.
33: \newblock Bisimulation of context-free grammars and of pushdown automata.
34: \newblock In {\em Modal Logic and process algebra}, pages 85--106. CSLI
35:   Lectures Notes, vol. 53, 1995.
36: 
37: \bibitem[CHM93]{Chr-Hir-Mol93}
38: S.~Christensen, Y.~Hirshfeld, and F.~Moller.
39: \newblock Bisimulation is decidable for basic parallel processes.
40: \newblock {\em LNCS 715, Springer}, pages 143--157, 1993.
41: 
42: \bibitem[CHS95]{Chr-Hut-Sti95}
43: S.~Christensen, H.~H{\"u}ttel, and C.~Stirling.
44: \newblock Bisimulation equivalence is decidable for all context-free processes.
45: \newblock {\em Information and Computation 121}, pages 143--148, 1995.
46: 
47: \bibitem[Cou83a]{Cou83}
48: B.~Courcelle.
49: \newblock An axiomatic approach to the {K}orenjac-{H}opcroft algorithms.
50: \newblock {\em Math. Systems theory}, pages 191--231, 1983.
51: 
52: \bibitem[Cou83b]{Cou83t}
53: B.~Courcelle.
54: \newblock Fundamental properties of infinite trees.
55: \newblock {\em Theoretical Computer Science 25}, pages 95--169, 1983.
56: 
57: \bibitem[Cou89]{Cou89}
58: B.~Courcelle.
59: \newblock The monadic second-order logic of graphs ii: infinite graphs of
60:   bounded width.
61: \newblock {\em Math. Systems Theory 21}, pages 187--221, 1989.
62: 
63: \bibitem[Cou90a]{Cou90b}
64: B.~Courcelle.
65: \newblock Graph rewriting: and algebraic and logic approach.
66: \newblock {\em In Jan van Leeuwen, editor, {H}andbook of {T}heoretical
67:   {C}omputer {S}cience, volume~B}, pages 193--242, 1990.
68: 
69: \bibitem[Cou90b]{Cou90c}
70: B.~Courcelle.
71: \newblock The monadic second-order logic of graphs iv: definability properties
72:   of equational graphs.
73: \newblock {\em Annals of Pure and Applied Logic 49}, pages 193--255, 1990.
74: 
75: \bibitem[GH94]{Gro-Hut94}
76: J.~Groote and H.~H{\"u}ttel.
77: \newblock Undecidable equivalences for basic process algebra.
78: \newblock {\em Information and Computation 115}, pages 354--371, 1994.
79: 
80: \bibitem[Har78]{Har78}
81: M.A. Harrison.
82: \newblock {\em Introduction to Formal Language Theory}.
83: \newblock Addison-Wesley, Reading, Mass., 1978.
84: 
85: \bibitem[HHY79]{Har79}
86: M.A. Harrison, I.M. Havel, and A.~Yehudai.
87: \newblock On equivalence of grammars through transformation trees.
88: \newblock {\em TCS 9}, pages 173--205, 1979.
89: 
90: \bibitem[HJM94]{Hir-Jer-Mol94}
91: Y.~Hirshfeld, M.~Jerrum, and F.~Moller.
92: \newblock A polynomial algorithm for deciding equivalence of normed
93:   context-free processes.
94: \newblock In {\em Proceedings of FOCS'94}, pages 623--631. IEEE, 1994.
95: 
96: \bibitem[HS91]{Sti91}
97: H.~H{\"u}ttel and C.~Stirling.
98: \newblock Actions speak louder than words: Proving bisimilarity for
99:   context-free processes.
100: \newblock In {\em LICS'91}, pages 376--385. IEEE, 1991.
101: 
102: \bibitem[Jan97]{Jan97}
103: P.~Jancar.
104: \newblock Bisimulation is decidable for one-counter processes.
105: \newblock In {\em Proceedings ICALP 97}, pages 549--559. Springer Verlag, 1997.
106: 
107: \bibitem[Koz91]{Koz91}
108: D.~Kozen.
109: \newblock A completeness theorem for kleene algebras and the algebra of regular
110:   events.
111: \newblock In {\em LICS'91}, pages 214--225. IEEE, 1991.
112: 
113: \bibitem[Kro91]{Kro91}
114: D.~Krob.
115: \newblock Complete systems of {$\cal B$}-rational identities.
116: \newblock {\em TCS 89}, pages 207--343, 1991.
117: 
118: \bibitem[Mei89]{Mei89}
119: Y.V. Meitus.
120: \newblock The equivalence problem for real-time strict deterministic pushdown
121:   automata.
122: \newblock {\em Kibernetika 5 ( in russian, english translation in Cybernetics
123:   and Systems analysis)}, pages 14--25, 1989.
124: 
125: \bibitem[Mei92]{Mei92}
126: Y.V. Meitus.
127: \newblock Decidability of the equivalence problem for deterministic pushdown
128:   automata.
129: \newblock {\em Kibernetika 5 ( in russian, english translation in Cybernetics
130:   and Systems analysis)}, pages 20--45, 1992.
131: 
132: \bibitem[Mil84]{Mil84}
133: R.~Milner.
134: \newblock A complete inference system for a class of regular behaviours.
135: \newblock {\em JCSS 28}, pages 439--466, 1984.
136: 
137: \bibitem[Mil89]{Mil89}
138: R.~Milner.
139: \newblock {\em Communication and Concurrency}.
140: \newblock Prentice Hall, 1989.
141: 
142: \bibitem[MS85]{Mul-Sch85}
143: D.E. Muller and P.E. Schupp.
144: \newblock The theory of ends, pushdown automata and second-order logic.
145: \newblock {\em TCS 37}, pages 51--75, 1985.
146: 
147: \bibitem[Oya87]{Oya87}
148: M.~Oyamaguchi.
149: \newblock The equivalence problem for real-time d.p.d.a's.
150: \newblock {\em J. assoc. Comput. Mach. 34}, pages 731--760, 1987.
151: 
152: \bibitem[Par81]{Par81}
153: D.~Park.
154: \newblock Concurrency and automata on infinite sequences.
155: \newblock {\em LNCS 104}, pages 167--183, 1981.
156: 
157: \bibitem[Rog67]{Rog67}
158: H.~Rogers.
159: \newblock {\em Theory of recursive functions and effective calculability}.
160: \newblock Mc Graw-Hill: series in higher mathematics, 1967.
161: 
162: \bibitem[Rom85]{Rom85}
163: V.Yu. Romanovskii.
164: \newblock Equivalence problem for real-time deterministic pushdown automata.
165: \newblock {\em Kibernetika no 2}, pages 13--23, 1985.
166: 
167: \bibitem[Sal66]{Sal66}
168: A.~Salomaa.
169: \newblock Two complete axiom systems for the algebra of regular events.
170: \newblock {\em JACM 13}, pages 158--169, 1966.
171: 
172: \bibitem[S{\'e}n97a]{Sen97gamma}
173: G.~S{\'e}nizergues.
174: \newblock {$\Gamma(A) \sim \Gamma$(B)?}
175: \newblock Technical report, nr1183-97, LaBRI, Universit\'e Bordeaux~I, can be
176:   accessed at URL, http://www.labri.u-bordeaux.fr/$\sim$ ges/, 1997.
177: 
178: \bibitem[S{\'e}n97b]{Sen97}
179: G.~S{\'e}nizergues.
180: \newblock {L(A) = L(B)?}
181: \newblock Technical report, LaBRI, Universit\'e Bordeaux~I, report nr1161-97,
182:   can be accessed at URL, http://www.labri.u-bordeaux.fr/, 1997.
183: \newblock Extended version to appear in TCS.
184: 
185: \bibitem[S{\'e}n97c]{Sen97fty}
186: G.~S{\'e}nizergues.
187: \newblock {L(A) = L(B)?}
188: \newblock In {\em Proceedings INFINITY 97}, pages 1--26. Electronic Notes in
189:   Theoretical Computer Science 9, URL:
190:   http://www.elsevier.nl/locate/entcs/volume9.html, 1997.
191: 
192: \bibitem[S{\'e}n97d]{Sen97ic}
193: G.~S{\'e}nizergues.
194: \newblock {T}he {E}quivalence {P}roblem for {D}eterministic {P}ushdown
195:   {A}utomata is {D}ecidable.
196: \newblock In {\em Proceedings ICALP 97}, pages 671--681. Springer, LNCS 1256,
197:   1997.
198: 
199: \bibitem[S{\'e}n98]{Sen98_focs}
200: G.~S{\'e}nizergues.
201: \newblock Decidability of bisimulation equivalence for equational graphs of
202:   finite out-degree.
203: \newblock In Rajeev Motwani, editor, {\em Proceedings FOCS'98}, pages 120--129.
204:   IEEE Computer Society Press, 1998.
205: 
206: \bibitem[S{\'e}n00]{Sen00}
207: G.~S{\'e}nizergues.
208: \newblock {C}omplete {F}ormal {S}ystems for {E}quivalence {P}roblems.
209: \newblock {\em Theoretical Computer Science}, 231:309--334, 2000.
210: 
211: \bibitem[Sti96]{Sti96}
212: C.~Stirling.
213: \newblock Decidability of bisimulation equivalence for normed pushdown
214:   processes.
215: \newblock In {\em Proceedings CONCUR 96}, pages 217--232. Springer-Verlag, LNCS
216:   1119, 1996.
217: 
218: \bibitem[Sti99]{Sti99}
219: C.~Stirling.
220: \newblock Decidability of dpda's equivalence.
221: \newblock Technical report, Edinburgh ECS-LFCS-99-411, 1999.
222: \newblock Pages 1-25, submitted to TCS.
223: 
224: \bibitem[Val74]{Val74}
225: L.G. Valiant.
226: \newblock The equivalence problem for deterministic finite-turn pushdown
227:   automata.
228: \newblock {\em Information and Control 25}, pages 123--133, 1974.
229: 
230: \end{thebibliography}
231: