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