Huynh, Dung T.; Tian, Lu A note on the complexity of deciding bisimilarity of normed unary processes. (English) Zbl 0809.68066 Theor. Comput. Sci. 131, No. 2, 441-448 (1994). MSC: 68Q10 68Q25 PDFBibTeX XMLCite \textit{D. T. Huynh} and \textit{L. Tian}, Theor. Comput. Sci. 131, No. 2, 441--448 (1994; Zbl 0809.68066) Full Text: DOI
Huynh, Dung T.; Tian, Lu Deciding bisimilarity of normed context-free processes is in \(\Sigma_ 2^ p\). (English) Zbl 0801.68058 Theor. Comput. Sci. 123, No. 2, 183-197 (1994). MSC: 68Q10 68Q55 PDFBibTeX XMLCite \textit{D. T. Huynh} and \textit{L. Tian}, Theor. Comput. Sci. 123, No. 2, 183--197 (1994; Zbl 0801.68058) Full Text: DOI
Huynh, Dung T.; Tian, Lu On deciding some equivalences for concurrent processes. (English) Zbl 1004.68521 RAIRO, Inform. Théor. Appl. 28, No. 1, 51-71 (1994). MSC: 68P15 PDFBibTeX XMLCite \textit{D. T. Huynh} and \textit{L. Tian}, RAIRO, Inform. Théor. Appl. 28, No. 1, 51--71 (1994; Zbl 1004.68521) Full Text: DOI EuDML
Huynh, Dung T.; Tian, Lu On deciding trace equivalences for processes. (English) Zbl 0783.68043 Inf. Sci. 72, No. 1-2, 105-121 (1993). MSC: 68Q10 68Q55 PDFBibTeX XMLCite \textit{D. T. Huynh} and \textit{L. Tian}, Inf. Sci. 72, No. 1--2, 105--121 (1993; Zbl 0783.68043) Full Text: DOI