Paul Blain Levy, Kidane Yemane Weldemariam. Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity. Electronic Notes in Theoretical Computer Science, 249:357-375, 2009. [doi]
@article{LevyW09, title = {Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity}, author = {Paul Blain Levy and Kidane Yemane Weldemariam}, year = {2009}, doi = {10.1016/j.entcs.2009.07.098}, url = {http://dx.doi.org/10.1016/j.entcs.2009.07.098}, researchr = {https://researchr.org/publication/LevyW09}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {249}, pages = {357-375}, }