libcats.org
Главная

Communicating Sequential Processes.. The 1th 25 Years, Symposium on the Occasion of 25 Years of CSP

Обложка книги Communicating Sequential Processes.. The 1th 25 Years, Symposium on the Occasion of 25 Years of CSP

Communicating Sequential Processes.. The 1th 25 Years, Symposium on the Occasion of 25 Years of CSP

, ,

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.

Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: