This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. 1 Tony Hoare’s paper “Communicating Sequential Processes” is today wid
The complexity of modern software systems makes it difficult to ensure the dependability of software-intensive systems. This book is based on the workshop on Methods, Models and Tools for Fault Tolera
Classes of socio-technical hazards allow a characterization of the risk in technology innovation and clarify the mechanisms underpinning emergent technological risk. Emerging Technological Risk provid