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 / Symposium on the Occasion of 25 years of CSP Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.). - Berlin ; New York : Springer, c2005. - 1 online resource (xiv, 320 p.) : ill. - Springer Lecture notes in computer science, Festschrift 3525. 0302-9743 ; . - Lecture notes in computer science ; 3525. Lecture notes in computer science. Festschrift. .

"The symposium CSP25 ... commemorates the semi-jubilee of ... Tony Hoare's paper 'Communicating sequential processes'"--Pref.

Includes bibliographical references and index.

Semantic foundations -- Refinement and simulation -- Hardware synthesis -- Transactions -- Concurrent programming -- Linking theories -- Security -- Automated development and model checking -- Industrial-strength CSP.

9783540322658 3540322655


CSP (Computer program language)--Congresses.
Parallel programming (Computer science)--Congresses.
Sequential processing (Computer science)--Congresses.
Computer programming--Congresses.
Parallel processing (Electronic computers)--Congresses.

QA76.73.C75 / S96 2004