"FI MU Report Series" . "RIV/00216224:14330/96:00001753" . "1"^^ . "0"^^ . "1"^^ . "0"^^ . "P(GA201/93/2123)" . . . . "14330" . "CZ - \u010Cesk\u00E1 republika" . . "N/A" . "RIV/00216224:14330/96:00001753!RIV/2002/GA0/143302/N" . "[B55323E0FA28]" . . "834461" . "Ku\u010Dera, Anton\u00EDn" . "Regularity is Decidable for Normed PA Processes in Polynomial Time"@en . . "1996" . . "Regularity is Decidable for Normed PA Processes in Polynomial Time" . . . . . . "17"^^ . "Regularity is Decidable for Normed PA Processes in Polynomial Time" . . "1" . . "N/A"@en . . "RS-96-01" . "process algebras; regularity; bisimilarity"@en . "Regularity is Decidable for Normed PA Processes in Polynomial Time"@en .