"N/A" . "0304-3975" . "RIV/00216224:14330/00:00000061" . . . . . . . "19"^^ . . . . "P(GA201/97/0456), P(GA201/98/P046), Z(MSM 143300001)" . "Theoretical Computer Science" . . "Ku\u010Dera, Anton\u00EDn" . "1-2" . "Effective Decomposability of Sequential Behaviours."@en . . "709800" . . . . . "71" . "Effective Decomposability of Sequential Behaviours." . "14330" . "NL - Nizozemsko" . "242" . "0"^^ . . "1"^^ . "0"^^ . . "Effective Decomposability of Sequential Behaviours."@en . "[4ECE86155D0A]" . "1"^^ . . "RIV/00216224:14330/00:00000061!RIV/2002/GA0/143302/N" . "Effective Decomposability of Sequential Behaviours." . . "concurrency, process algebra, bisimilarity, decomposability"@en . "N/A"@en .