| Record ID | ia:processalgebraeq0000baet |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/processalgebraeq0000baet/processalgebraeq0000baet_marc.xml |
| Download MARC binary | https://www.archive.org/download/processalgebraeq0000baet/processalgebraeq0000baet_meta.mrc |
LEADER: 01192cam a22003257a 4500
001 2010275481
003 DLC
005 20111224084544.0
008 100122s2010 enka b 001 0 eng
010 $a 2010275481
015 $aGBA964672$2bnb
016 7 $a015302175$2Uk
020 $a9780521820493 (hbk.)
020 $a0521820499 (hbk.)
035 $a(OCoLC)ocn318871880
040 $aUKM$cUKM$dBTCTA$dYDXCP$dC#P$dBWX$dDLC
042 $alccopycat
050 00 $aQA76.58$b.B34 2010
082 04 $a004.0151$222
100 1 $aBaeten, J. C. M.
245 10 $aProcess algebra :$bequational theories of communicating processes /$cJ.C.M. Baeten, T. Basten, M.A. Reniers.
260 $aCambridge ;$aNew York :$bCambridge University Press,$c2010.
300 $axvi, 460 p. :$bill. ;$c24 cm.
490 1 $aCambridge tracts in theoretical computer science ;$v50
504 $aIncludes bibliographical references and indexes.
650 0 $aParallel processing (Electronic computers)
650 0 $aElectronic data processing$xDistributed processing.
700 1 $aBasten, Twan.
700 1 $aReniers, M. A.$q(Michel Adriaan),$d1970-
830 0 $aCambridge tracts in theoretical computer science ;$v50.