Publications

Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software. 

Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network that was funded from October 2012 to October 2016. As a survey of the most recent developments in the application of behavioural type systems, it is a valuable reference for researchers in the field, as well as an introduction to the area for graduate students and software developers.

This book is one of the main outcomes of the COST Action A27 and has been programmed at the very beginning of the project. It presents examples from the broad variety of European cultural landscapes, concentrating on regions with features surviving from pre-industrial agrarian and mining activities. This action focuses on European landscape as a fundamental element of cultural and historical heritage shared by all Europeans.

A key component of the life history of metazoans is the ability of their cells to undergo cell death programmes characterised by a sequence of morphological and biochemical changes. Parasites and pathogens can induce or inhibit these programmes in ways that may determine the outcome of disease. Evidence that programmed cell death also occurs in unicellular organisms, including parasitic protozoans, is rapidly growing. Although they display the same morphological markers as metazoans, molecular mechanisms and functions clearly differ. It is thus timely to consider our current understanding of life or death decisions in both protozoans and the host cells they inhabit.Reviews have been compiled by members of the COST Action BM0802, Life or Death of Protozoan Parasites.

Water in and beneath a road pavement has a major impact on the road’s performance and its survivability. This books provides a state-of-the-art on the topic of water in pavements and the adjacent ground. It includes coverage of the basic theory; where the water comes from; how it may (or may not) be drained; the effect of temperature on the movement; how movements may be modelled numerically; and the impact that water content has on pavement material and subgrade behaviour. Sections on instrumentation and monitoring are also provided.
The book also studies environmental aspects of water in roads and their immediate surroundings by describing the leaching action of pavement water; the opportunities for the pavement to sorb contaminants from pavement run-off; water sampling and water quality needs.
It draws on information from a wide variety of sources, particularly in Europe and the USA, both published and unpublished, having been written by a broad team of practising engineers, hydrogeologists, environmental scientists and researchers.

Abstracts of a joint conference of IUFRO Working Groups (Population, ecological and conservation genetics & Genomics) and COST Action E28, which took place in Madrid, Spain on 1-6 October 2006.