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