Skip to main content
SpringerLink
Log in
Book cover

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

  • Book
  • © 2005

Overview

Editors:
  1. Ali E. Abdallah

    1. Faculty of BCIM, Institute for Computing Research, London South Bank University, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Cliff B. Jones

    1. School of Computing Science, Newcastle University, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jeff W. Sanders

    1. International Institute for Software Technology, United Nations University, Macao

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3525)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 chapters)

  1. Front Matter

    Download chapter PDF

  2. Semantic Foundations

    1. Retracing the Semantics of CSP

      • Stephen Brookes
      Pages 1-14

    2. Seeing Beyond Divergence

      • A. W. Roscoe
      Pages 15-35

  3. Refinement and Simulation

    1. Process Algebra: A Unifying Approach

      • Tony Hoare
      Pages 36-60

    2. Linking Theories of Concurrency

      • He Jifeng
      Pages 61-74

  4. Hardware Synthesis

    1. CSP, occam and Transputers

      • David May
      Pages 75-84

    2. Models for Data-Flow Sequential Processes

      • Mark B. Josephs
      Pages 85-97

    3. Implementation of Handshake Components

      • Ad Peeters
      Pages 98-132

  5. Transactions

    1. A Trace Semantics for Long-Running Transactions

      • Michael Butler, Tony Hoare, Carla Ferreira
      Pages 133-150

    2. Practical Application of CSP and FDR to Software Design

      • Jonathan Lawrence
      Pages 151-174

  6. Concurrent Programming

    1. Communicating Mobile Processes

      • Peter H. Welch, Frederick R. M. Barnes
      Pages 175-210

    2. Model-Based Design of Concurrent Programs

      • Jeff Magee, Jeff Kramer
      Pages 211-219

  7. Linking Theories

    1. Of Probabilistic wp and CSP—and Compositionality

      • Carroll Morgan
      Pages 220-241

    2. Order, Topology, and Recursion Induction in CSP

      • Mike Reed
      Pages 242-242

  8. Security

    1. Verifying Security Protocols: An Application of CSP

      • Steve Schneider, Rob Delicata
      Pages 243-263

    2. Shedding Light on Haunted Corners of Information Security

      • Peter Ryan
      Pages 264-264

  9. Automated Development and Model Checking

    1. Operational Semantics for Fun and Profit

      • Michael Goldsmith
      Pages 265-274

    2. On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations

      • Ranko Lazić, Tom Newcomb, A. W. Roscoe
      Pages 275-291
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Faculty of BCIM, Institute for Computing Research, London South Bank University, London, UK

    Ali E. Abdallah

  • School of Computing Science, Newcastle University, UK

    Cliff B. Jones

  • International Institute for Software Technology, United Nations University, Macao

    Jeff W. Sanders

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation