25 Years Communicating Sequential Processes:
2004
Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (Eds.):
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.
Lecture Notes in Computer Science 3525 Springer 2005, ISBN 3-540-25813-2
Semantic Foundations
Refinement and Simulation
Hardware Synthesis
Transactions
Concurrent Programming
Linking Theories
- Carroll Morgan:
Of Probabilistic Wp and SP-and Compositionality.
220-241
- Mike Reed:
Order, Topology, and Recursion Induction in CSP.
242-242
Security
Automated Development and Model Checking
Industrial Strength CSP
- Sadie Creese:
Industrial Strength CSP: Opportunities and Challenges in Model-Checking.
292-292
- Jan Peleska:
Applied Formal Methods - From CSP to Executable Hybrid Specifications.
293-320
Copyright © Mon Nov 16 21:57:40 2009
by Michael Ley (ley@uni-trier.de)