Communicating sequential processes

En savoir plus sur le livre

This volume commemorates the semi-jubilee of Communicating Sequential Processes, inspired by Tony Hoare’s seminal paper, which is considered one of the most influential in computer science. To honor this work, an event was organized by BCS-FACS, the British Computer Society’s Formal Aspects of Computing Science specialist group. CSP25 was part of a series aimed at showcasing formal methods, their relevance to modern computing, and promoting broader application. The event took place on July 7–8, 2004, at London South Bank University’s Institute for Computing Research. It celebrated and reflected on CSP’s contributions to computer science over its first quarter-century. The meeting explored CSP's impact across various fields, including semantics for understanding concurrency, logic for reasoning about behavior, and the design of parallel programming languages addressing I/O, synchronization, and threads. Applications discussed ranged from distributed software and parallel computing to information security and concurrent hardware circuits. Highlights included a panel discussion with notable figures such as Brookes, Hoare, de Roever, and Roscoe, poster presentations by PhD students, and a memorable fire alarm evacuation. The event concluded with the presentation of a fountain pen to Prof. Sir C. A. R. Hoare.