Conferences in DBLP

Birthday ... (birthday)
2004 (conf/birthday/2004csp)

1. Stephen D. Brookes
   Retracing the Semantics of CSP. [Citation Graph (0, 0)][DBLP]
   25 Years Communicating Sequential Processes, 2004, pp:1-14 [Conf]
   
2. A. W. Roscoe
   Seeing Beyond Divergence. [Citation Graph (0, 0)][DBLP]
   25 Years Communicating Sequential Processes, 2004, pp:15-35 [Conf]
   
3. C. A. R. Hoare
   Process Algebra: A Unifying Approach. [Citation Graph (0, 0)][DBLP]
   25 Years Communicating Sequential Processes, 2004, pp:36-60 [Conf]
   
4. Jifeng He
   Linking Theories of Concurrency. [Citation Graph (0, 0)][DBLP]
   25 Years Communicating Sequential Processes, 2004, pp:61-74 [Conf]
   
5. David May
   CSP, occam and Transputers. [Citation Graph (0, 0)][DBLP]
   25 Years Communicating Sequential Processes, 2004, pp:75-84 [Conf]
   
6. Mark B. Josephs
   Models for Data-Flow Sequential Processes. [Citation Graph (0, 0)][DBLP]
   25 Years Communicating Sequential Processes, 2004, pp:85-97 [Conf]
   
7. Ad M. G. Peeters
   Implementation of Handshake Components. [Citation Graph (0, 0)][DBLP]
   25 Years Communicating Sequential Processes, 2004, pp:98-132 [Conf]
   
8. Michael J. Butler, C. A. R. Hoare, Carla Ferreira
   A Trace Semantics for Long-Running Transactions. [Citation Graph (0, 0)][DBLP]
   25 Years Communicating Sequential Processes, 2004, pp:133-150 [Conf]
   
9. Jonathan Lawrence
   Practical Application of CSP and FDR to Software Design. [Citation Graph (0, 0)][DBLP]
   25 Years Communicating Sequential Processes, 2004, pp:151-174 [Conf]
   
10. Peter H. Welch, Fred R. M. Barnes
    Communicating Mobile Processes. [Citation Graph (0, 0)][DBLP]
    25 Years Communicating Sequential Processes, 2004, pp:175-210 [Conf]
    
11. Jeff Magee, Jeff Kramer
    Model-Based Design of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    25 Years Communicating Sequential Processes, 2004, pp:211-219 [Conf]
    
12. Carroll Morgan
    Of Probabilistic Wp and SP-and Compositionality. [Citation Graph (0, 0)][DBLP]
    25 Years Communicating Sequential Processes, 2004, pp:220-241 [Conf]
    
13. Mike Reed
    Order, Topology, and Recursion Induction in CSP. [Citation Graph (0, 0)][DBLP]
    25 Years Communicating Sequential Processes, 2004, pp:242-242 [Conf]
    
14. Steve A. Schneider, Rob Delicata
    Verifying Security Protocols: An Application of CSP. [Citation Graph (0, 0)][DBLP]
    25 Years Communicating Sequential Processes, 2004, pp:243-263 [Conf]
    
15. Peter Y. A. Ryan
    Shedding Light on Haunted Corners of Information Security. [Citation Graph (0, 0)][DBLP]
    25 Years Communicating Sequential Processes, 2004, pp:264-264 [Conf]
    
16. Michael Goldsmith
    Operational Semantics for Fun and Profit. [Citation Graph (0, 0)][DBLP]
    25 Years Communicating Sequential Processes, 2004, pp:265-274 [Conf]
    
17. Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe
    On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations. [Citation Graph (0, 0)][DBLP]
    25 Years Communicating Sequential Processes, 2004, pp:275-291 [Conf]
    
18. Sadie Creese
    Industrial Strength CSP: Opportunities and Challenges in Model-Checking. [Citation Graph (0, 0)][DBLP]
    25 Years Communicating Sequential Processes, 2004, pp:292-292 [Conf]
    
19. Jan Peleska
    Applied Formal Methods - From CSP to Executable Hybrid Specifications. [Citation Graph (0, 0)][DBLP]
    25 Years Communicating Sequential Processes, 2004, pp:293-320 [Conf]