Undecidable equivalences for basic parallel processes (2009)

by H Hüttel, N Kobayashi, T Suto
Venue:Inform. and Comput