Hans P. van Ditmarsch, David Fernández Duque, Wiebe van der Hoek. On the Definability of Simulability and Bisimilarity by Finite Epistemic Models. In João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre, editors, Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings. Volume 6814 of Lecture Notes in Computer Science, pages 74-87, Springer, 2011. [doi]
@inproceedings{DitmarschDH11,
title = {On the Definability of Simulability and Bisimilarity by Finite Epistemic Models},
author = {Hans P. van Ditmarsch and David Fernández Duque and Wiebe van der Hoek},
year = {2011},
doi = {10.1007/978-3-642-22359-4_6},
url = {http://dx.doi.org/10.1007/978-3-642-22359-4_6},
researchr = {https://researchr.org/publication/DitmarschDH11},
cites = {0},
citedby = {0},
pages = {74-87},
booktitle = {Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings},
editor = {João Leite and Paolo Torroni and Thomas Ågotnes and Guido Boella and Leon van der Torre},
volume = {6814},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-22358-7},
}