On the decidability of non-interleaving process equivalences /
Kiehn, Astrid.
Hennessy, Matthew.
University of Sussex.Computer Science.
Brighton : Computer Science, School of Cognitive and Computing Sciences, University of Sussex,
1994.