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 /
| Corporate Authors: | , |
|---|---|
| Other Authors: | , , , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[2005]
|
| Series: | Lecture notes in computer science ;
3525. Lecture notes in computer science. Festschrift. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- Semantic foundations
- Refinement and simulation
- Hardware synthesis
- Transactions
- Concurrent programming
- Linking theories
- Security
- Automated development and model checking
- Industrial-strength CSP.