Coverart for item
The Resource 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.), (electronic resource)

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.), (electronic resource)

Label
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
Title
Communicating sequential processes
Title remainder
the first 25 years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004 : revised invited papers
Statement of responsibility
Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.)
Title variation
Symposium on the Occasion of 25 years of CSP
Creator
Contributor
Subject
Genre
Language
eng
Member of
Dewey number
005.13/3
Illustrations
illustrations
Index
index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2004
http://bibfra.me/vocab/lite/meetingName
Symposium on the Occasion of 25 years of CSP
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1957-
  • 1944-
  • 1934-
http://library.link/vocab/relatedWorkOrContributorName
  • Abdallah, Ali E.
  • Jones, C. B.
  • Sanders, Jeff W
  • Hoare, C. A. R.
Series statement
  • Lecture notes in computer science,
  • Festschrift
Series volume
3525.
http://library.link/vocab/subjectName
  • CSP (Computer program language)
  • Parallel programming (Computer science)
  • Sequential processing (Computer science)
  • Computer programming
  • Parallel processing (Electronic computers)
Label
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.), (electronic resource)
Instantiates
Publication
Note
"The symposium CSP25 ... commemorates the semi-jubilee of ... Tony Hoare's paper 'Communicating sequential processes'"--Pref
Bibliography note
Includes bibliographical references and index
Color
multicolored
Contents
Semantic foundations -- Refinement and simulation -- Hardware synthesis -- Transactions -- Concurrent programming -- Linking theories -- Security -- Automated development and model checking -- Industrial-strength CSP
Control code
ocn262680782
Dimensions
unknown
Extent
1 online resource (xiv, 320 p.)
Form of item
online
Isbn
9783540258131
Other physical details
ill
Specific material designation
remote
System control number
(OCoLC)262680782
Label
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.), (electronic resource)
Publication
Note
"The symposium CSP25 ... commemorates the semi-jubilee of ... Tony Hoare's paper 'Communicating sequential processes'"--Pref
Bibliography note
Includes bibliographical references and index
Color
multicolored
Contents
Semantic foundations -- Refinement and simulation -- Hardware synthesis -- Transactions -- Concurrent programming -- Linking theories -- Security -- Automated development and model checking -- Industrial-strength CSP
Control code
ocn262680782
Dimensions
unknown
Extent
1 online resource (xiv, 320 p.)
Form of item
online
Isbn
9783540258131
Other physical details
ill
Specific material designation
remote
System control number
(OCoLC)262680782

Library Locations

    • InternetBorrow it
      Albany, Auckland, 0632, NZ
Processing Feedback ...