. . "N/A" . "RIV/00216224:14330/00:00002192!RIV/2002/GA0/143302/N" . . "3-540-67141-2" . "Proceedings of 17th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2000)" . . . . "[19DC85120E88]" . . . "Jan\u010Dar, Petr" . . . . "Berlin, Heidelberg, New York" . "2000-01-01+01:00"^^ . "Berlin, Heidelberg, New York" . . "concurrency, bisimulation, simulation, one-counter automata"@en . "Moller, Faron" . . . "P(GA201/00/0400), P(GA201/97/0456), P(GA201/98/P046), Z(MSM 143300001)" . "Ku\u010Dera, Anton\u00EDn" . "14330" . . "Simulation and Bisimulation over One-Counter Processes" . "Simulation and Bisimulation over One-Counter Processes" . . . "12"^^ . . . "N/A"@en . "Simulation and Bisimulation over One-Counter Processes"@en . . "RIV/00216224:14330/00:00002192" . "726462" . "Simulation and Bisimulation over One-Counter Processes"@en . "334" . "2"^^ . "3"^^ . "Springer-Verlag" . . . "0"^^ . "0"^^ .