Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces.

Published in: A Journey from Process Algebra via Timed Automata to Model Learning (2022)