Publisher's Synopsis
A treatise on the feasibility of articulating abstract computational concepts. It points out how concurrency, as a form of abstract computation, can be directly expressed in programming languages, and shows how such abstractions demand an expressive language.;The book aims to synthesize the idea of different books dealing separately with different languages and those books which concentrate on concurrent algorithms using real applications. The author provokes the reader into querying why their favoured languages should not be able to embody and articulate the implementation of such abstractions, and to ask why these languages cannot be modified or extended.