Lecture notes » Turing Machines & Lambda Calculus & Process Algebras (« decidability, tractability, recursion, bisimilarity, Petri nets, event stuctures ») (14/12/2025).