| Record ID | marc_loc_2016/BooksAll.2016.part01.utf8:35585442:984 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part01.utf8:35585442:984?format=raw |
LEADER: 00984cam a22002774a 4500
001 00052904
003 DLC
005 20020821201030.0
008 001027s2001 enk b 001 0 eng
010 $a 00052904
020 $a0521781779
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA76.59$b.S36 2001
082 00 $a004.6$221
100 1 $aSangiorgi, Davide.
245 14 $aThe [pi]-calculus :$ba theory of mobile processes /$cDavide Sangiorgi, David Walker.
260 $aCambridge, [England] ;$aNew York :$bCambridge University Press,$c2001.
300 $axii, 580 p. ;$c26 cm.
504 $aIncludes bibliographical references (p. 562-575) and index.
650 0 $aMobile computing.
650 0 $aMobile communication systems.
650 0 $aPi-calculus.
700 1 $aWalker, David,$d1961-
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/description/cam021/00052904.html
856 41 $3Table of contents$uhttp://www.loc.gov/catdir/toc/cam027/00052904.html