"N/A" . . . . . "Bisimilarity of Processes with Finite-State Systems."@en . "[E5C7B18909F1]" . . "Electronic Notes in Theoretical Computer Science" . "1997" . . "concurrency; bisimilarity; infinite-state systems"@en . "RIV/00216224:14330/97:00000103!RIV/2002/GA0/143302/N" . . "0"^^ . "Bisimilarity of Processes with Finite-State Systems." . "793751" . "0"^^ . "2"^^ . "P(GA201/97/0456)" . . "2"^^ . . "Jan\u010Dar, Petr" . "Ku\u010Dera, Anton\u00EDn" . . . "NL - Nizozemsko" . "9" . . . "1" . . . "Bisimilarity of Processes with Finite-State Systems." . "RIV/00216224:14330/97:00000103" . "N/A"@en . "14"^^ . . "14330" . "Bisimilarity of Processes with Finite-State Systems."@en .