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 (Q2572494)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Brookes, Stephen}, Retracing the semantics of CSP, 1-14 [Zbl 1081.68058] \textit{Roscoe, A. W.}, Seeing beyond divergence, 15-35 [Zbl 1081.68062] \textit{Hoare, Tony}, Process algebra: A unifying approach, 36-60 [Zbl 1081.68060] \textit{He, Jifeng}, Linking theories of concurrency, 61-74 [Zbl 1081.68059] \textit{May, David}, CSP, occam and transputers, 75-84 [Zbl 1081.68650] \textit{Josephs, Mark B.}, Models for data-flow sequential processes, 85-97 [Zbl 1081.68648] \textit{Peeters, Ad}, Implementation of handshake components, 98-132 [Zbl 1081.68652] \textit{Butler, Michael; Hoare, Tony; Ferreira, Carla}, A trace semantics for long-running transactions, 133-150 [Zbl 1081.68644] \textit{Lawrence, Jonathan}, Practical application of CSP and FDR to software design, 151-174 [Zbl 1081.68583] \textit{Welch, Peter H.; Barnes, Frederick R. M.}, Communicating mobile processes. Introducing occam-pi., 175-210 [Zbl 1081.68657] \textit{Magee, Jeff; Kramer, Jeff}, Model-based design of concurrent programs, 211-219 [Zbl 1081.68561] \textit{Morgan, Carroll}, Of probabilistic wp and CSP -- and compositionality, 220-241 [Zbl 1081.68651] \textit{Reed, Mike}, Order, topology, and recursion induction in CSP, 242 [Zbl 1081.68654] \textit{Schneider, Steve; Delicata, Rob}, Verifying security protocols: An application of CSP, 243-263 [Zbl 1081.68656] \textit{Ryan, Peter}, Shedding light on haunted corners of information security, 264 [Zbl 1081.68655] \textit{Goldsmith, Michael}, Operational semantics for fun and profit, 265-274 [Zbl 1081.68647] \textit{Lazić, Ranko; Newcomb, Tom; Roscoe, A. W.}, On model checking data-independent systems with arrays with whole-array operations, 275-291 [Zbl 1081.68649] \textit{Creese, Sadie}, Industrial strength CSP: Opportunities and challenges in model-checking, 292 [Zbl 1081.68645] \textit{Peleska, Jan}, Applied formal methods -- from CSP to executable hybrid specifications, 293-320 [Zbl 1081.68653]