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