. . "366" . "basic process algebra, weak bisimulation, approximants, lower and upper bound"@en . . . "Approximating Weak Bisimulation on Basic Process Algebras" . . . "3-540-66408-4" . "14330" . "735289" . . . . "Berlin Heidelberg New York" . . "N/A"@en . "Berlin Heidelberg New York" . "Springer-Verlag" . "Mathematical Foundations of Computer Science 1999, Proceedings" . "1999-01-01+01:00"^^ . . "St\u0159\u00EDbrn\u00E1, Jitka" . "9"^^ . "0"^^ . "1"^^ . "0"^^ . . . . "N/A" . . "Approximating Weak Bisimulation on Basic Process Algebras"@en . . . "1"^^ . . "[3519D32D00B5]" . "RIV/00216224:14330/99:00001148!RIV/2002/GA0/143302/N" . "P(GA201/99/D026), Z(MSM 143300001)" . "Approximating Weak Bisimulation on Basic Process Algebras"@en . . "Approximating Weak Bisimulation on Basic Process Algebras" . "RIV/00216224:14330/99:00001148" .