×

zbMATH — the first resource for mathematics

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. (English) Zbl 1073.68002
Lecture Notes in Computer Science 3525. Berlin: Springer (ISBN 3-540-25813-2/pbk). xiv, 321 p. (2005).

Show indexed articles as search result.

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