Jancar, P. and Srba, J. 2004. Highly Undecidable Questions for Process Algebras. BRICS Report Series. 11, 8 (Apr. 2004). DOI:https://doi.org/10.7146/brics.v11i8.21833.