@ARTICLE{FJLS10, AUTHOR = {Froeschle, S. and Jancar, P. and Lasota, S. and Sawa, Z.}, TITLE = {Non-Interleaving Bisimulation Equivalences on {Basic Parallel Processes}}, JOURNAL = {Information and Computation}, YEAR = {2010}, VOLUME = {208}, NUMBER = {1}, PAGES = {42--62} }