List of books
- Introduction to Choreographies
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"
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
The latest edition of the report “Informatics Education in Europe: Institutions, degrees, students, positions, salaries” is available for download.
- textbook on Distributed Algorithms
Distributed Algorithms: An Intuitive Approach
by Wan Fokkink
MIT Press, January 2014http://mitpress.mit.edu/books/distributed-algorithms
- Concepts, Techniques, and Models of Computer Programming
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.
