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 it, an event w...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2005.
|
| Σειρά: | Lecture Notes in Computer Science,
3525 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
