Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2005.
|
| Edición: | 1st ed. 2005. |
| Colección: | Theoretical Computer Science and General Issues,
3525 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.