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
Browsing UT Tyler Online Shelves , Shelving location: Online Close shelf browser
QA76.73.C154 T76 2007 Pro C♯ with .NET 3.0 / QA76.73.C154 T84 2005 Pro C♯ 2005 and the .NET 2.0 platform / QA76.73.C154 W95 2006 Beginning visual C♯ 2005 express edition : QA76.73.C75 S96 2004 Communicating sequential processes : QA76.73.F25 C55 2005 Introduction to programming with Fortran : QA76.73 .J38 JavaScript Programming : QA76.73.J38 B374 2005 Beginning Java objects :

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