Written in honor of Sir Tony Hoare's 75th Birthday, this book provides a discussion of the influence of Hoare's work on current research from an international s

Cutting-edge historians explore ideas, communities, and technologies around modern computing to explore how computers mediate social relations. Computers have b

CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes b

Almost all technical systems currently either interface with or are themselves largely software systems. Software systems must not harm their environment, but a

This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place in Eindhoven, The Netherlands, in April 2016, h