Coinductie is een methode voor het specificeren en beredeneren van oneindige datatypen en automaten met oneindig gedrag. De laatste jaren is het een steeds belangrijkere rol gaan spelen in de theorie van de informatica. Het wordt bestudeerd in vele disciplines, waaronder procestheorie en gelijktijdigheidsmodale logica en automatentheorie. Typisch coductieve bewijzen tonen de equivalentie van twee objecten aan door een geschikte bisimulatierelatie tussen hen te construeren. Deze verzameling enquêtes is gericht op zowel onderzoekers als masterstudenten informatica en wiskunde en behandelt verschillende aspecten van bisimulatie en coinductie met de nadruk op procestheorie. Zeven hoofdstukken behandelen de volgende onderwerpen: geschiedenis, algebra en coalgebra, algoritmiek, logica, hogere-orde talen, verbeteringen van de bisimulatie-bewijsmethode en waarschijnlijkheden. Er zijn ook oefeningen opgenomen om de lezer te helpen nieuw materiaal onder de knie te krijgen. Taal: Engels