did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9783540258131

Communicating Sequential Processes. the First 25 Years

by ; ;
  • ISBN13:

    9783540258131

  • ISBN10:

    3540258132

  • Format: Paperback
  • Copyright: 2005-06-22
  • Publisher: Springer-Verlag New York Inc
  • Purchase Benefits
  • Free Shipping Icon Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • eCampus.com Logo Get Rewarded for Ordering Your Textbooks! Enroll Now
  • Write a Review Icon Write a Review
List Price: $84.99 Save up to $66.43
  • Digital
    $40.22
    Add to Cart

    DURATION
    PRICE

Supplemental Materials

What is included with this book?

Summary

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.

Table of Contents

Retracing the semantics of CSPp. 1
Seeing beyond divergencep. 15
Process algebra : a unifying approachp. 36
Linking theories of concurrencyp. 61
CSP, Occam and transputersp. 75
Models for data-flow sequential processesp. 85
Implementation of handshake componentsp. 98
A trace semantics for long-running transactionsp. 133
Practical application of CSP and FDR to software designp. 151
Communicating mobile processesp. 175
Model-based design of concurrent programsp. 211
Of probabilistic wp and CSP - and compositionalityp. 220
Order, topology, and recursion induction in CSPp. 242
Verifying security protocols : an application of CSPp. 243
Shedding light on haunted corners of information securityp. 264
Operational semantics for fun and profitp. 265
On model checking data-independent systems with arrays with whole-array operationsp. 275
Industrial-strength CSP : opportunities and challenges in model-checkingp. 292
Applied formal methods - from CSP to executable hybrid specificationsp. 293
Table of Contents provided by Blackwell. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program