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 - Image 1

£44.70

Springer 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

Name: 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
Brand: Springer
Price: 44.7 GBP
Availability: InStock

Architecture & Microprocessors

About as cheap as it gets. The only time it was cheaper was 3 months ago.

£45 today · all-time low £45 (Apr 2026) · usually £45

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 74 days · 74 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 74 days • 1 price levels

Days at Price

Price Analysis

Most common price: £45 (74 days, 100.0%)

Price range: £45 - £45

Price levels: 1 different prices over 74 days

Description

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3540258132
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 03 May 2005
Listed Since: 10 December 2006

Barcode

No barcode data available

Springer 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

About as cheap as it gets. The only time it was cheaper was 3 months ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)

Understanding Concurrent Systems (Texts in Computer Science)

Introduction to Concurrency in Programming Languages (Chapman & Hall/CRC Computational Science)

High Performance Computing and Communications: Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings: 4208 (Lecture Notes in Computer Science, 4208)

Springer ISPA 2004 Proceedings - Parallel and Distributed Processing

Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)

From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday: 35 (Emergence, Complexity and Computation, 35)

Task Scheduling for Parallel Systems (Wiley Series on Parallel and Distributed Computing)

Concurrency 88: International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings: 335 (Lecture Notes in Computer Science, 335)

Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (CRM Monograph Series)

STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings: 665 (Lecture Notes in Computer Science, 665)

Algorithms and Architectures for Parallel Processing: 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I: 6081 (Lecture Notes in Computer Science, 6081)

Reconfigurable and Adaptive Computing: Theory and Applications

Start Concurrent: an Introduction to Problem Solving in Java with a Focus on Concurrency 2013: 2013 Edition

Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science ... and Communication Technology, 155)

Wiley Parallel and Distributed Computing - Survey of Models

Concurrency: The Works of Leslie Lamport (ACM Collection II)

Computer Science 2: Research and Applications

Computer Science 2: Research and Applications (Advances in Experimental Medicine & Biology (Springer))

Data Prefetching Techniques in Computer Systems: Volume 125 (Advances in Computers, Volume 125)

Korrekte Zugriffe zu verteilten Daten: 63 (Informatik-Fachberichte, 63)

Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores

Models for Concurrency (Algebra, Logic and Applications, Vol 11)

Parallele Algorithmen: 64 (Informatik-Fachberichte, 64)