[PPT] - Finite and infinite traces, inductively and coinductively Jurriaan PowerPoint Presentation