List of books

Introduction to Choreographies
by Fabrizio Montesi, May 23, 2023

Introduction to Choreographies (Cambridge University Press) is the first rigorous and systematic introduction to theory of choreographic languages, aimed at expressing coordination plans for concurrent and distributed systems (choreographies).
It focuses on languages for defining choreographies, a structural approach to semantics of choreographies, and the relation between choreographies and models of distributed processes. It also covers how choreographies can aid with guaranteeing important safety and liveness properties.

New Report "Industry Funding for Academic Research in Informatics in Europe"
by Svetlana Tikhonenko, Jan. 24, 2019

Informatics Europe is pleased to release a new report “Industry Funding for Academic Research in Informatics in Europe” prepared by the Data Collection and Reporting Working Group.

The latest edition of the Informatics Education in Europe: Key Data Report 2012-2017 is now available
by Svetlana Tikhonenko, Nov. 12, 2018

The latest edition of the report “Informatics Education in Europe: Institutions, degrees, students, positions, salaries” is available for download.

textbook on Distributed Algorithms
by Wan Fokkink, Dec. 17, 2013

Distributed Algorithms: An Intuitive Approach
by Wan Fokkink
MIT Press, January 2014

Concepts, Techniques, and Models of Computer Programming
by Peter Van Roy, Feb. 15, 2004

This textbook brings the computer science student a comprehensive and up-to-date presentation of all major programming concepts, techniques, and paradigms in a unified framework. It features a broad treatment of concurrent programming, a software platform, Mozart, that can run all the examples, and a simple but complete formal semantics.