000 01311cam a22003254a 4500
001 11844068
003 OSt
005 20180301114836.0
008 991117s2000 gw b 001 0 eng
010 _a 99058786
020 _a354066579X (alk. paper)
040 _aIISER Bhopal
_cIISER Bhopal
042 _apcc
050 0 0 _aQA267
_b.F64 2000
082 0 0 _a005.1 F69I
_223
100 1 _aFokkink, Wan
_922381
222 _aEECS-reference book collection
245 1 0 _aIntroduction to process algebra
_cWan Fokkink.
260 _aBerlin :
_bSpringer,
_cc2000.
300 _aviii, 163 p. :
_bill. ;
_c25 cm.
440 0 _aTexts in theoretical computer science
_922382
504 _aIncludes bibliographical references (p. [151]-160) and index.
650 0 _aMachine theory.
_922383
650 0 _aParallel processing (Electronic computers)
_922384
856 4 2 _3Publisher description
_uhttp://www.loc.gov/catdir/enhancements/fy0816/99058786-d.html
856 4 1 _3Table of contents only
_uhttp://www.loc.gov/catdir/enhancements/fy0816/99058786-t.html
906 _a7
_bcbc
_corignew
_d1
_eocip
_f19
_gy-gencatlg
942 _2ddc
_cBK
999 _c8343
_d8343