The Locator -- [(author = "Jones C B Cliff B 1944-")]

14 records matched your query       

Record 6 | Previous Record | MARC Display | Next Record | Search Results
Author:
Symposium on the Occasion of 25 years of CSP (2004 : London, England)
Title:
Communicating sequential processes [electronic resource] : 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.).
Format:
[electronic resource] :
Publisher:
Springer,
Copyright Date:
c2005
Description:
1 online resource (xiv, 320 p.) : ill.
Subject:
CSP (Computer program language)--Congresses.
Parallel programming (Computer science)--Congresses.
Sequential processing (Computer science)--Congresses.
Computer programming--Congresses.
Parallel processing (Electronic computers)--Congresses.
Other Authors:
Abdallah, Ali E., 1957-
Jones, C. B. (Cliff B.), 1944-
Sanders, Jeff W.
Hoare, C. A. R. (Charles Antony Richard), 1934- Communicating sequential processes.
Notes:
Description based on print. "The symposium CSP25 ... commemorates the semi-jubilee of ... Tony Hoare's paper 'Communicating sequential processes'"--Pref. Includes bibliographical references and index.
Contents:
Semantic foundations -- Refinement and simulation -- Hardware synthesis -- Transactions -- Concurrent programming -- Linking theories -- Security -- Automated development and model checking -- Industrial-strength CSP.
Series:
Festschrift 0302-9743 ; 3525. Festschrift
ISBN:
3540322655
9783540322658
OCLC:
(OCoLC)262680782
Locations:
USUX851 -- Iowa State University - Parks Library (Ames)

Initiate Another SILO Locator Search

This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.