La coinduction est une méthode de spécification et de raisonnement sur des types de données infinis et des automates au comportement infini. Ces dernières années, il a joué un rôle de plus en plus important dans la théorie de l’informatique. Il est étudié dans de nombreuses disciplines, y compris la théorie des processus et la logique modale concurrentielle et la théorie des automates. Les preuves coïnductives démontrent généralement l’équivalence de deux objets en construisant une relation de bisimulation appropriée entre eux. Cette collection d'enquêtes s'adresse à la fois aux chercheurs et aux étudiants de maîtrise en informatique et en mathématiques et traite de divers aspects de la bisimulation et de la coinduction en mettant l'accent sur la théorie des processus. Sept chapitres couvrent les sujets suivants: algèbre historique et algorithmique coalgebra logique langages d’ordre supérieur améliorations de la méthode de preuve de bisimulation et probabilités. Des exercices sont également inclus pour aider le lecteur à maîtriser de nouveaux matériaux. Langue: Anglais