@InProceedings{fv60, author = {Ciancia, Vincenzo and Latella, Diego and Massink, Mieke and Vink, Erik de}, title = {Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces}, booktitle = {A Journey from Process Algebra via Timed Automata to Model Leaning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday}, pages = {98--115}, series = {LNCS}, year = {2022}, volume = {13560}, editor = {Jansen, Nils and Stoelinga, Mari\"elle and Bos, Petra van de}, publisher = {Springer}, doi = {10.1007/978-3-031-15629-8\_6} }