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 / Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.).
| Author/creator | Symposium on the Occasion of 25 years of CSP |
| Format | Electronic |
| Publication Info | Berlin ; New York : Springer, |
| Description | xiv, 320 p. : ill. ; 24 cm. |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Subjects |
| Other author/creator | Abdallah, Ali E., 1957- |
| Other author/creator | Jones, C. B. (Cliff B.), 1944- |
| Other author/creator | Sanders, Jeff W. |
| Other author/creator | Hoare, C. A. R. (Charles Antony Richard), 1934- Communicating sequential processes. |
| Portion of title | Symposium on the Occasion of 25 years of CSP |
| Series | Lecture notes in computer science, 0302-9743 ; 3525. Festschrift Lecture notes in computer science 3525. ^A466336 Lecture notes in computer science. Festschrift. ^A601151 |
| Contents | Semantic foundations -- Refinement and simulation -- Hardware synthesis -- Transactions -- Concurrent programming -- Linking theories -- Security -- Automated development and model checking -- Industrial-strength CSP. |
| General note | "The symposium CSP25 ... commemorates the semi-jubilee of ... Tony Hoare's paper 'Communicating sequential processes'"--Pref. |
| Bibliography note | Includes bibliographical references and index. |
| Access restriction | Available only to authorized users. |
| Other forms | Also issued online. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2005925390 |
| ISBN | 3540258132 |
| ISBN | 9783540258131 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |