| Record ID | marc_loc_2016/BooksAll.2016.part38.utf8:154343329:1611 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part38.utf8:154343329:1611?format=raw |
LEADER: 01611cam a22003257a 4500
001 2010936468
003 DLC
005 20120905082819.0
008 100907s2010 enka b 001 0 eng
010 $a 2010936468
015 $aGBB009954$2bnb
016 7 $a015474274$2Uk
020 $a9781848822573 (alk. paper)
020 $a184882257X (alk. paper)
020 $a9781848822580 (e-ISBN)
020 $a1848822588 (e-ISBN)
035 $a(OCoLC)ocn462920890
040 $aUKM$cUKM$dBTCTA$dYDXCP$dC#P$dOHX$dBWX$dCDX$dTTS$dUKMGB$dDLC
042 $alccopycat
050 00 $aQA76.58$b.R673 2010
082 04 $a004.35$222
100 1 $aRoscoe, A. W.
245 10 $aUnderstanding concurrent systems /$cA.W. Roscoe.
260 $aLondon ;$aNew York :$bSpringer,$cc2010.
300 $axviii, 527 p. :$bill. ;$c25 cm.
490 0 $aTexts in computer science,$x1868-0941
504 $aIncludes bibliographical references and index.
505 0 $aBuilding a simple sequential process -- Understanding CSP -- Parallel operators -- CSP case studies -- Hiding and renaming -- Beyond traces -- Further operators -- Using FDR -- Operational semantics -- Denotational semantics and behavioural models -- Finite observation models -- Infinite-behaviour models -- The algebra of CSP -- Timed systems 1 : tock-CSP -- Timed systems 2 : discrete timed CSP -- More about FDR -- State explosion and parameterised verification -- Shared-variable programs -- Understanding shared-variable concurrency -- Priority and mobility.
650 0 $aParallel processing (Electronic computers)
650 0 $aSequential processing (Computer science)