Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such i

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 eve

An accessible introduction to coalgebra, with clear mathematical explanations and numerous examples and exercises.

Labelled Markov processes are probabilistic versions of labelled transition systems with continuous state spaces. The book covers basic probability and measure

This 1989 book provides an introduction to the immensely important area of computer networking.