Jancar, Petr
-
BRICS Report Series No. 8 (2004): RS-8 Highly Undecidable Questions for Process Algebras - Articles
Highly Undecidable Questions for Process Algebras
Abstract PDF -
BRICS Report Series No. 7 (2006): RS-7 Undecidability Results for Bisimilarity on Prefix Rewrite Systems - Articles
Undecidability Results for Bisimilarity on Prefix Rewrite Systems
Abstract PDF
