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 / Edition 1

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 / Edition 1

by Ali E. Abdallah
     
 

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

See more details below

Overview

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.

Product Details

ISBN-13:
9783540258131
Publisher:
Springer Berlin Heidelberg
Publication date:
06/01/2005
Series:
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Series, #3525
Edition description:
2005
Pages:
326
Product dimensions:
9.21(w) x 6.14(h) x 0.71(d)

Table of Contents

Semantic Foundations.- Retracing the Semantics of CSP.- Seeing Beyond Divergence.- Refinement and Simulation.- Process Algebra: A Unifying Approach.- Linking Theories of Concurrency.- Hardware Synthesis.- CSP, occam and Transputers.- Models for Data-Flow Sequential Processes.- Implementation of Handshake Components.- Transactions.- A Trace Semantics for Long-Running Transactions.- Practical Application of CSP and FDR to Software Design.- Concurrent Programming.- Communicating Mobile Processes.- Model-Based Design of Concurrent Programs.- Linking Theories.- Of Probabilistic wp and CSP—and Compositionality.- Order, Topology, and Recursion Induction in CSP.- Security.- Verifying Security Prools: An Application of CSP.- Shedding Light on Haunted Corners of Information Security.- Automated Development and Model Checking.- Operational Semantics for Fun and Profit.- On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations.- Industrial Strength CSP.- Industrial Strength CSP: Opportunities and Challenges in Model-Checking.- Applied Formal Methods – From CSP to Executable Hybrid Specifications.

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >