Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25 Years Communicating Sequential Processes: 2004
- Ali E. Abdallah, Cliff B. Jones
, Jeff W. Sanders:
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
- Stephen D. Brookes:
Retracing the Semantics of CSP. 1-14 - A. W. Roscoe:
Seeing Beyond Divergence. 15-35
Refinement and Simulation
- C. A. R. Hoare:
Process Algebra: A Unifying Approach. 36-60 - Jifeng He:
Linking Theories of Concurrency. 61-74
Hardware Synthesis
- David May:
CSP, occam and Transputers. 75-84 - Mark B. Josephs:
Models for Data-Flow Sequential Processes. 85-97 - Ad M. G. Peeters:
Implementation of Handshake Components. 98-132
Transactions
- Michael J. Butler, C. A. R. Hoare, Carla Ferreira:
A Trace Semantics for Long-Running Transactions. 133-150 - Jonathan Lawrence:
Practical Application of CSP and FDR to Software Design. 151-174
Concurrent Programming
- Peter H. Welch, Fred R. M. Barnes:
Communicating Mobile Processes. 175-210 - Jeff Magee, Jeff Kramer:
Model-Based Design of Concurrent Programs. 211-219
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
- Steve A. Schneider, Rob Delicata:
Verifying Security Protocols: An Application of CSP. 243-263 - Peter Y. A. Ryan:
Shedding Light on Haunted Corners of Information Security. 264-264
Automated Development and Model Checking
- Michael Goldsmith:
Operational Semantics for Fun and Profit. 265-274 - Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe:
On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations. 275-291
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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
