%0 Journal Article
%A Huynh, Dung T.
%A Tian, Lu
%T On deciding some equivalences for concurrent processes
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1994
%P 51-71
%V 28
%N 1
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1994__28_1_51_0/
%G en
%F ITA_1994__28_1_51_0