Loading…
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 /
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...
| Call Number: | Libro Electrónico |
|---|---|
| Corporate Author: | |
| Other Authors: | , , |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2005.
|
| Edition: | 1st ed. 2005. |
| Series: | Theoretical Computer Science and General Issues,
3525 |
| Subjects: | |
| Online Access: | Texto Completo |
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 Protocols: 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.