Communicating Sequential Processes. The First 25 Years

Communicating Sequential Processes. The First 25 Years
Author :
Publisher : Springer Science & Business Media
Total Pages : 335
Release :
ISBN-10 : 9783540258131
ISBN-13 : 3540258132
Rating : 4/5 (31 Downloads)

Book Synopsis Communicating Sequential Processes. The First 25 Years by : Ali E. Abdallah

Download or read book Communicating Sequential Processes. The First 25 Years written by Ali E. Abdallah and published by Springer Science & Business Media. This book was released on 2005-05-03 with total page 335 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book commemorates the work done by Tony Hoare and published under the title Communicating Sequential Processes in the 1978 August issue of the Communications of ACM. The British Computer Society's specialist group Formal Aspects of Computing Science organized a meeting on July 7-8, 2004, in London, to mark the occasion of 25 years of CSP. The 19 carefully reviewed and revised full papers by leading researchers celebrate, reflect upon, and look beyond the first quarter-century of CSP's contributions to computer science. The papers explore the impact of CSP on many areas ranging from semantics and logic, through the design of parallel programming languages to applications varying from distributed software and parallel computing to information security, Web services, and concurrent hardware circuits.


Communicating Sequential Processes. The First 25 Years Related Books

Communicating Sequential Processes. The First 25 Years
Language: en
Pages: 335
Authors: Ali E. Abdallah
Categories: Computers
Type: BOOK - Published: 2005-05-03 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book commemorates the work done by Tony Hoare and published under the title Communicating Sequential Processes in the 1978 August issue of the Communicatio
Reflections on the Work of C.A.R. Hoare
Language: en
Pages: 434
Authors: Cliff B. Jones
Categories: Computers
Type: BOOK - Published: 2010-09-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Written in honor of Sir Tony Hoare's 75th Birthday, this book provides a discussion of the influence of Hoare's work on current research from an international s
Communicating Process Architectures 2008
Language: en
Pages: 472
Authors: P. H. Welch
Categories: Computers
Type: BOOK - Published: 2008 - Publisher: IOS Press

DOWNLOAD EBOOK

Communicating Process Architectures 2008 contains the proceedings of the thirty-first Communicating Process Architectures Conference (CPA 2008) organized under
Handbook of Model Checking
Language: en
Pages: 1210
Authors: Edmund M. Clarke
Categories: Computers
Type: BOOK - Published: 2018-05-18 - Publisher: Springer

DOWNLOAD EBOOK

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research tradit
Communicating Process Architectures 2009
Language: en
Pages: 420
Authors: P. H. Welch
Categories: Computers
Type: BOOK - Published: 2009 - Publisher: IOS Press

DOWNLOAD EBOOK

"This book is a collection of the papers presented at the 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven,