Communicating sequential processes : (Record no. 682102)

001 - CONTROL NUMBER
control field ocn262680782
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
additional material characteristics m d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field crmn ---mucun|
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 081017s2005 gw a ob 111 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency GW5XE
Language of cataloging eng
Transcribing agency GW5XE
Modifying agency OCLCQ
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540322658
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540322655
029 1# - (OCLC)
OCLC library identifier HEBIS
System control number 192060295
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)262680782
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.73.C75
Item number S96 2004
049 ## - LOCAL HOLDINGS (OCLC)
Holding library TEXA
090 #4 - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (OCLC)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) QA76.73.C75
Local cutter number (OCLC) ; Book number/undivided call number, CALL (RLIN) S96 2004
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element Symposium on the Occasion of 25 Years of CSP
Date of meeting (2004 :
Location of meeting London, England)
245 10 - TITLE STATEMENT
Title Communicating sequential processes :
Remainder of title 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, etc Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.).
246 30 - VARYING FORM OF TITLE
Title proper/short title Symposium on the Occasion of 25 years of CSP
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Berlin ;
-- New York :
Name of publisher, distributor, etc Springer,
Date of publication, distribution, etc c2005.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xiv, 320 p.) :
Other physical details ill.
490 0# - SERIES STATEMENT
Series statement Springer
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science,
International Standard Serial Number 0302-9743 ;
Volume number/sequential designation 3525.
Series statement Festschrift
500 ## - GENERAL NOTE
General note "The symposium CSP25 ... commemorates the semi-jubilee of ... Tony Hoare's paper 'Communicating sequential processes'"--Pref.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Semantic foundations -- Refinement and simulation -- Hardware synthesis -- Transactions -- Concurrent programming -- Linking theories -- Security -- Automated development and model checking -- Industrial-strength CSP.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
588 ## -
-- Description based on print version record.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element CSP (Computer program language)
Form subdivision Congresses.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Parallel programming (Computer science)
Form subdivision Congresses.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Sequential processing (Computer science)
Form subdivision Congresses.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer programming
Form subdivision Congresses.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Parallel processing (Electronic computers)
Form subdivision Congresses.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Abdallah, Ali E.,
Dates associated with a name 1957-
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Jones, C. B.
Fuller form of name (Cliff B.),
Dates associated with a name 1944-
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Sanders, Jeff W.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Hoare, C. A. R.
Fuller form of name (Charles Antony Richard),
Dates associated with a name 1934-
Title of a work Communicating sequential processes.
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Print version:
Main entry heading Symposium on the Occasion of 25 Years of CSP (2004 : London, England).
Title Communicating sequential processes.
Place, publisher, and date of publication Berlin ; New York : Springer, c2005
International Standard Book Number 3540258132
-- 9783540258131
Record control number (DLC) 2005925390
-- (OCoLC)60519520
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 3525.
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science.
Name of part/section of a work Festschrift.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/b136154">http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/b136154</a>
Link text Click here to view this ebook.
901 ## - LOCAL DATA ELEMENT A, LDA (RLIN)
Platform Springer
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Electronic Book
Holdings
Withdrawn status Lost item Source of classification or shelving scheme Damaged status Not for loan Permanent Location Current Location Shelving location Date acquired Source of acquisition Full call number Barcode Date last seen Uniform Resource Identifier Price effective from Koha item type
          UT Tyler Online UT Tyler Online Online 2006-05-09 2006C00338 QA76.73.C75 S96 2004 ocn262680782 2012-01-25 http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/b136154 2012-01-25 Electronic Book