. "Approximating Weak Bisimulation on Basic Process Algebras"@en . "1"^^ . "Approximating Weak Bisimulation on Basic Process Algebras" . . "0"^^ . "1"^^ . "0"^^ . "Approximating Weak Bisimulation on Basic Process Algebras" . . "14330" . "Brno" . . . "[053694B92016]" . "18"^^ . . "Approximating Weak Bisimulation on Basic Process Algebras" . "N/A"@en . . . "P(GA201/99/D026), Z(MSM 143300001)" . . "basic process algebra, weak bisimulation, approximants, lower and upper bound"@en . . . . "18"^^ . "RIV/00216224:14330/99:00001706!RIV/2002/GA0/143302/N" . . "FI MU Report Series FIMU-RS-99-05" . . . "N/A" . "735288" . . . "Masarykova univerzita. Fakulta informatiky" . . "Approximating Weak Bisimulation on Basic Process Algebras"@en . "St\u0159\u00EDbrn\u00E1, Jitka" . "RIV/00216224:14330/99:00001706" .