"How to Parallelize Sequential Processes"@en . "1" . "How to Parallelize Sequential Processes" . "0"^^ . . "1"^^ . . . "0"^^ . . . . . "825983" . "process algebras; bisimilarity; decomposition"@en . . "CZ - \u010Cesk\u00E1 republika" . . . "RIV/00216224:14330/96:00001755" . . "Ku\u010Dera, Anton\u00EDn" . . "How to Parallelize Sequential Processes" . "RS-96-05" . "[99DC3A5BDB11]" . "1996" . . "14330" . "RIV/00216224:14330/96:00001755!RIV/2002/MSM/143302/N" . "N/A"@en . "N/A" . "24"^^ . "FI MU Report Series" . "How to Parallelize Sequential Processes"@en . "1"^^ .