Normal view MARC view ISBD view

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.).

By: Symposium on the Occasion of 25 Years of CSP (2004 : London, England).
Contributor(s): Abdallah, Ali E, 1957- | Jones, C. B. (Cliff B.), 1944- | Sanders, Jeff W | Hoare, C. A. R. (Charles Antony Richard), 1934-. Communicating sequential processes.
Material type: TextTextSeries: Springer.Lecture notes in computer science: 3525.; Lecture notes in computer scienceFestschrift: Publisher: Berlin ; New York : Springer, c2005Description: 1 online resource (xiv, 320 p.) : ill.ISBN: 9783540322658; 3540322655.Other title: Symposium on the Occasion of 25 years of CSP.Subject(s): CSP (Computer program language) -- Congresses | Parallel programming (Computer science) -- Congresses | Sequential processing (Computer science) -- Congresses | Computer programming -- Congresses | Parallel processing (Electronic computers) -- CongressesAdditional physical formats: Print version:: Communicating sequential processes.LOC classification: QA76.73.C75 | S96 2004Online resources: Click here to view this ebook.
Contents:
Semantic foundations -- Refinement and simulation -- Hardware synthesis -- Transactions -- Concurrent programming -- Linking theories -- Security -- Automated development and model checking -- Industrial-strength CSP.
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number URL Status Date due Barcode
Electronic Book UT Tyler Online
Online
QA76.73.C75 S96 2004 (Browse shelf) http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/b136154 Available ocn262680782

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

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

Includes bibliographical references and index.

Description based on print version record.

There are no comments for this item.

Log in to your account to post a comment.