Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material.

Law is the most sacred fetish of our time. From radicals to conservatives, there is no militant, activist or thinker who would consider doing without it. But the history of our fascination with law is long and complex, and reaches deeper into our culture than we might think. In After Law, Laurent de Sutter takes us on a journey to uncover the sources of our fascination. He shows that at a certain moment in our history a choice was made to treat law as a decisive feature of civilization, but this choice was neither obvious nor necessary. Other political, social, religious or cultural possibilities could have been chosen instead – from ancient Egypt to Mesopotamia, from medieval Japan to China, from Islam to Judaism, other cultures have devised sophisticated tools to help people live together without having to deal with norms, rules and principles. This is a lesson worth reflecting on, especially at a time when the rule of law and the functioning of justice are increasingly showing their sinister side – and their impotence. Is there life beyond law?