Decidability issues for infinite-state processes- a survey.
Søren Christensen, Hans Hüttel · 1993
... In this paper we survey recent developments and current trends within a new field of study within process algebra, namely that of decidability issues for processes with infinite transition graphs.