| Record ID | marc_loc_updates/v36.i42.records.utf8:4989152:2374 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i42.records.utf8:4989152:2374?format=raw |
LEADER: 02374cam a22004457a 4500
001 2005925390
003 DLC
005 20081015070247.0
008 050406s2005 gw a b 111 0 eng d
010 $a 2005925390
020 $a3540258132
020 $a9783540258131
035 $a(OCoLC)ocm60519520
040 $aLWU$cLWU$dCUS$dC$Q$dBAKER$dIQU$dDLC
042 $alccopycat
050 00 $aQA76.73.C75$bS96 2004
082 00 $a005.13/3$222
111 2 $aSymposium on the Occasion of 25 years of CSP$d(2004 :$cLondon, England)
245 10 $aCommunicating sequential processes :$bthe first 25 years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004 : revised invited papers /$cAli E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.).
246 30 $aSymposium on the Occasion of 25 years of CSP
260 $aBerlin ;$aNew York :$bSpringer,$cc2005.
300 $axiv, 320 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science,$x0302-9743 ;$v3525.$aFestschrift
500 $a"The symposium CSP25 ... commemorates the semi-jubilee of ... Tony Hoare's paper 'Communicating sequential processes'"--Pref.
505 0 $aSemantic foundations -- Refinement and simulation -- Hardware synthesis -- Transactions -- Concurrent programming -- Linking theories -- Security -- Automated development and model checking -- Industrial-strength CSP.
504 $aIncludes bibliographical references and index.
530 $aAlso issued online.
650 0 $aCSP (Computer program language)$vCongresses.
650 0 $aParallel programming (Computer science)$vCongresses.
650 0 $aSequential processing (Computer science)$vCongresses.
650 0 $aComputer programming$vCongresses.
650 0 $aParallel processing (Electronic computers)$vCongresses.
700 1 $aAbdallah, Ali E.,$d1957-
700 1 $aJones, C. B.$q(Cliff B.),$d1944-
700 1 $aSanders, Jeff W.
700 1 $aHoare, C. A. R.$q(Charles Antony Richard),$d1934-$tCommunicating sequential processes.
830 0 $aLecture notes in computer science ;$v3525.
830 0 $aLecture notes in computer science.$pFestschrift.
856 41 $uhttp://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3525$zRestricted to SpringerLink subscribers
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0663/2005925390-d.html