Showing 1–1 of 1 editor-approved links.
Homepage of a lecture course by Natasha Alechina, with a particular emphasis on topics relevant to computer science, such as bisimulation.