Alan Jeffrey, Julian Rathke. A theory of bisimulation for a fragment of concurrent ML with local names. Theoretical Computer Science, 323(1-3):1-48, 2004. [doi]
@article{JeffreyR04, title = {A theory of bisimulation for a fragment of concurrent ML with local names}, author = {Alan Jeffrey and Julian Rathke}, year = {2004}, doi = {10.1016/j.tcs.2004.03.005}, url = {http://dx.doi.org/10.1016/j.tcs.2004.03.005}, researchr = {https://researchr.org/publication/JeffreyR04}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {323}, number = {1-3}, pages = {1-48}, }