This book, first published in 2006, details how limit processes can be represented algebraically.

This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021,

This collection of essays reflects the breadth of research in computer science. Following a biography of Robin Milner it contains sections on semantic foundatio