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

CONCUR 2002 - Concurrency Theory
Language: en
Pages: 628
Authors: Lubos Brim
Categories: Computers
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 13th International Conference on Concurrency Theory, CONCUR 2002, held in Brno, Czech Republic in August 2
CONCUR 2008 - Concurrency Theory
Language: en
Pages: 537
Authors: Franck van Breugel
Categories: Computers
Type: BOOK - Published: 2008-07-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2
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
Parameterized Verification of Synchronized Concurrent Programs
Language: en
Pages: 192
Authors: Zeinab Ganjei
Categories:
Type: BOOK - Published: 2021-03-19 - Publisher: Linköping University Electronic Press

DOWNLOAD EBOOK

There is currently an increasing demand for concurrent programs. Checking the correctness of concurrent programs is a complex task due to the interleavings of p
Verification, Model Checking, and Abstract Interpretation
Language: en
Pages: 575
Authors: Ahmed Bouajjani
Categories: Computers
Type: BOOK - Published: 2017-01-09 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, he