Mogens Nielsen, Christian Clausen. Games and Logics for a Noninterleaving Bisimulation. Nord. J. Comput., 2(2):221-249, 1995.
@article{NielsenC95:0,
title = {Games and Logics for a Noninterleaving Bisimulation},
author = {Mogens Nielsen and Christian Clausen},
year = {1995},
tags = {logic},
researchr = {https://researchr.org/publication/NielsenC95%3A0},
cites = {0},
citedby = {0},
journal = {Nord. J. Comput.},
volume = {2},
number = {2},
pages = {221-249},
}