%0 Journal Article %1 journals/mscs/Zhan10 %A Zhan, Naijun %D 2010 %J Math. Struct. Comput. Sci. %K dblp %N 5 %P 915-950 %T Connection between logical and algebraic approaches to concurrent systems. %U http://dblp.uni-trier.de/db/journals/mscs/mscs20.html#Zhan10 %V 20

@article{journals/mscs/Zhan10, added-at = {2020-04-01T00:00:00.000+0200}, author = {Zhan, Naijun}, biburl = {https://www.bibsonomy.org/bibtex/2ae6df01f328ef396908698b27afed772/dblp}, ee = {https://doi.org/10.1017/S0960129510000253}, interhash = {cd4e9c2056041dfd12755046e55bbccc}, intrahash = {ae6df01f328ef396908698b27afed772}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 5, pages = {915-950}, timestamp = {2020-04-02T11:40:52.000+0200}, title = {Connection between logical and algebraic approaches to concurrent systems.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs20.html#Zhan10}, volume = 20, year = 2010 }