Søren Christensen, Hans Hüttel. Decidability issues for infinite-state processes- a survey. Bulletin of the EATCS, 51:155-167, 1993.
@article{ChristensenH93, title = {Decidability issues for infinite-state processes- a survey}, author = {Søren Christensen and Hans Hüttel}, year = {1993}, tags = {survey}, researchr = {https://researchr.org/publication/ChristensenH93}, cites = {0}, citedby = {0}, journal = {Bulletin of the EATCS}, volume = {51}, pages = {155-167}, }