Year: 2024
Type: conference-paper
Abstract: I have spent my long career developing the CSP process algebra, with much attention going to make it usable in real-world problems. In this paper I reflect on this work and try to sum up where we are in 2024. I concentrate on some relatively recent applications including the ideas behind the Coco System and how CSP can be used to support decentralised reasoning in the presence of Byzantine behaviour. I think CSP models are the ideal starting point when you want to get to grips with a challenging issue in practical concurrency.
Source: Kalpa publications in computing
DOI: 10.29007/bbq9
Authors: Andrew Roscoe, Pedro Antonino
Institution: University of Oxford
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W4403481555