On deciding some equivalences for concurrent processesDung T. Huynh and Lu TianRAIRO-Theor. Inf. Appl., 28 1 (1994) 51-71DOI: https://doi.org/10.1051/ita/1994280100511
