Han Zhu. Axiomatic Systems for the Bisimilarity on Finite Fair Ambient Processes. JCP, 4(6):469-476, 2009. [doi]
@article{Zhu09-16, title = {Axiomatic Systems for the Bisimilarity on Finite Fair Ambient Processes}, author = {Han Zhu}, year = {2009}, doi = {10.4304/jcp.4.6.469-476}, url = {http://dx.doi.org/10.4304/jcp.4.6.469-476}, researchr = {https://researchr.org/publication/Zhu09-16}, cites = {0}, citedby = {0}, journal = {JCP}, volume = {4}, number = {6}, pages = {469-476}, }