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
Saved in:
Corporate Authors: | |
---|---|
Group Author: | ; ; ; ; ; |
Published: |
Springer,
|
Publisher Address: | Berlin New York |
Publication Dates: | c2005. |
Literature type: | Book |
Language: | English |
Series: |
Lecture notes in computer science ; 3525. |
Subjects: | |
Online Access: |
http://dx.doi.org/10.1007/b136154 |
Item Description: | Communicating sequential processes. |
Carrier Form: | xiv, 320 p.: ill. ; 24 cm. |
Index Number: | TP31 |
CLC: | TP31 |
Contents: |
"The symposium CSP25 ... commemorates the semi-jubilee of ... Tony Hoare's paper 'Communicating sequential processes'"--Pref. Available to OhioLINK libraries. 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. |