Communicating Sequential Processes. The First 25 Years

Name: Communicating Sequential Processes. The First 25 Years
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540258131
Price: 214.72 PLN
Availability: InStock

Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Autor: Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders

Język:

Oprawa: Miękka

Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

214.72 zł

This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Commun...

Informacje o książce

Autor

Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2005

strony

326

EAN

9783540258131

ISBN

3540258132

Enbook ID

02710654

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

1060

Wymiary

155 x 235 x 19

Pełny opis

This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. 1 Tony Hoare s paper Communicating Sequential Processes is today widely regarded as one of the most in?uential papers in computer science. To comm- orate it, an event was organized under the auspices of BCS-FACS (the British Computer Society s Formal Aspects of Computing Science specialist group). CSP25 was one of a series of such events organized to highlight the use of formal methods, emphasize their relevance to modern computing and promote their wider application. BCS-FACS is proud that Tony Hoare presented his original ideas on CSP at one of its ?rst meetings, in 1978. The two-day event, 7 8 July 2004, was hosted by London South Bank U- versity s Institute for Computing Research, Faculty of Business, Computing and Information Management. The intention was to celebrate, re?ect upon and look beyondthe?rstquarter-centuryofCSP scontributionstocomputerscience. The meeting examined the impact of CSP on many areas stretching from semantics (mathematical models for understanding concurrency and communications) and logic(forreasoningaboutbehavior),throughthedesignofparallelprogramming languages (i/o, parallelism, synchronization and threads) to applications va- ing from distributed software and parallel computing to information security, Web services and concurrent hardware circuits. It included a panel discussion with panelists Brookes, Hoare, de Roever and Roscoe (chaired by Je? Sanders), poster presentations by PhD students and others, featured a ?re alarm (requ- ing evacuation in the rain!) and concluded with the presentation of a fountain pen to Prof. Sir C. A. R. Hoare.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Communicating Sequential Processes. The First 25 Years

Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Informacje o książce

Pełny opis

Możesz być zainteresowany

Star Trek (TM) Pop-Ups

New Strategic Brand Management

1000 Stickers

King James Study Bible, Full-Color Edition, Cloth-bound Hardcover, Red Letter

Foreverland Boxed

German Grammar Drills, Premium Fourth Edition

The Splendid Chance

The Complete Encyclopedia of Plants

Klienci, którzy kupili tę książkę, kupili również

Tensho

Star Wars: Die Lichtschwert-Kollektion

Die Haarteppichknüpfer