"[10FE8D20AEBE]" . "834462" . . . . . "Springer-Verlag" . . "Regularity is Decidable for Normed PA Processes in Polynomial Time"@en . "111" . . . "1"^^ . "0"^^ . "1"^^ . "0"^^ . "RIV/00216224:14330/96:00000074" . "P(GA201/93/2123)" . . "Berlin" . . "Berlin" . . "3-540-62034-6" . "RIV/00216224:14330/96:00000074!RIV/2002/GA0/143302/N" . . "N/A" . "N/A"@en . "12"^^ . "1996-01-01+01:00"^^ . "Regularity is Decidable for Normed PA Processes in Polynomial Time"@en . "Ku\u010Dera, Anton\u00EDn" . "Regularity is Decidable for Normed PA Processes in Polynomial Time" . . "concurrency; process algebras; bisimilarity; regularity"@en . . "Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS\u00B496)" . . . "Regularity is Decidable for Normed PA Processes in Polynomial Time" . . . "14330" .