%0 Journal Article %1 journals/jcst/FengY04 %A Feng, Yuan %A Ying, Mingsheng %D 2004 %J J. Comput. Sci. Technol. %K dblp %N 3 %P 364-373 %T Process Algebra Approach to Reasoning About Concurrent Actions. %U http://dblp.uni-trier.de/db/journals/jcst/jcst19.html#FengY04 %V 19

@article{journals/jcst/FengY04, added-at = {2019-12-22T00:00:00.000+0100}, author = {Feng, Yuan and Ying, Mingsheng}, biburl = {https://www.bibsonomy.org/bibtex/2ad4eddde0d95fbf2c0c15552c220acf7/dblp}, ee = {https://doi.org/10.1007/BF02944906}, interhash = {5c9e8213ef9e4ce7294325c967aa18ba}, intrahash = {ad4eddde0d95fbf2c0c15552c220acf7}, journal = {J. Comput. Sci. Technol.}, keywords = {dblp}, number = 3, pages = {364-373}, timestamp = {2019-12-24T11:38:31.000+0100}, title = {Process Algebra Approach to Reasoning About Concurrent Actions.}, url = {http://dblp.uni-trier.de/db/journals/jcst/jcst19.html#FengY04}, volume = 19, year = 2004 }