Title: Undecidable equivalences for basic parallel processes
First published: 1993
Subjects: Parallel processing (Electronic computers)