Reset Filters
Literature type: Book

Cover is for reference only

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:
Bibliographic Details
Corporate Authors: Symposium on the Occasion of 25 years of CSP (2004 London, England)
Group Author: Hoare C. A. R.; (Charles Antony Richard), 1934-; Abdallah Ali E., 1957-; Jones C. B.; (Cliff B.), 1944-; Sanders Jeff W.
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: c2005.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 3525.
Subjects:
Parallel processing (Electronic computers)
CSP (Computer program language)
Parallel programming (Computer science)
Sequential processing (Computer science)
Computer programming.
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.

Related Book Recommendations