. "2"^^ . . "UPMAIL TR No. 148" . "[ED0B85F392F7]" . "Bisimilarity of Processes with Finite-State Systems"@en . "14"^^ . "14330" . . "N/A"@en . "1100-0686" . . . "N/A" . . "concurrency, bisimilarity, infinite-state systems"@en . . "Ku\u010Dera, Anton\u00EDn" . . "793749" . "RIV/00216224:14330/97:00000101!RIV/2000/MSM/143300" . "Proceedings of 2nd International Workshop on Verification of Infinite State Systems (INFINITY" . . "72" . "Uppsala (Sweden)" . "Bisimilarity of Processes with Finite-State Systems" . . . . "P(GA201/97/0456)" . "Jan\u010Dar, Petr" . "Bisimilarity of Processes with Finite-State Systems" . . "2"^^ . "Jan\u010Dar, Petr" . "Ku\u010Dera, Anton\u00EDn" . "Bisimilarity of Processes with Finite-State Systems"@en . . "RIV/00216224:14330/97:00000101" . "University of Uppsala" .