On deciding some equivalences for concurrent processes Dung T. Huynh; Lu Tian — 1994 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications