%0 Journal Article %1 journals/tcs/YenJL96 %A Yen, Hsu-Chun %A Jian, Shi-Tsuen %A Lao, Ta-Pang %D 1996 %J Theor. Comput. Sci. %K dblp %N 1-2 %P 445-464 %T Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes. %U http://dblp.uni-trier.de/db/journals/tcs/tcs170.html#YenJL96 %V 170

@article{journals/tcs/YenJL96, added-at = {2021-02-17T00:00:00.000+0100}, author = {Yen, Hsu-Chun and Jian, Shi-Tsuen and Lao, Ta-Pang}, biburl = {https://www.bibsonomy.org/bibtex/21d07a8fa2660e85e1ea7647399d8f18b/dblp}, ee = {https://doi.org/10.1016/S0304-3975(96)80714-6}, interhash = {b19937ecafa501afe8ac8c43693fc051}, intrahash = {1d07a8fa2660e85e1ea7647399d8f18b}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-2}, pages = {445-464}, timestamp = {2024-04-08T18:43:24.000+0200}, title = {Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs170.html#YenJL96}, volume = 170, year = 1996 }