RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

On deciding some equivalences for concurrent processes

Dung T. Huynh and Lu Tian

RAIRO-Theor. Inf. Appl., 28 1 (1994) 51-71

Published online: 01 February 2017

DOI: 10.1051/ita/1994280100511

Dung T. Huynh

Lu Tian

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)