Naijun Zhan. Connection between logical and algebraic approaches to concurrent systems. Mathematical Structures in Computer Science, 20(5):915-950, 2010. [doi]
@article{Zhan10, title = {Connection between logical and algebraic approaches to concurrent systems}, author = {Naijun Zhan}, year = {2010}, doi = {10.1017/S0960129510000253}, url = {http://dx.doi.org/10.1017/S0960129510000253}, tags = { algebra, systematic-approach}, researchr = {https://researchr.org/publication/Zhan10}, cites = {0}, citedby = {0}, journal = {Mathematical Structures in Computer Science}, volume = {20}, number = {5}, pages = {915-950}, }