HOME > 상세정보

상세정보

A distributed pi-calculus

A distributed pi-calculus

자료유형
단행본
개인저자
Hennessy, Matthew.
서명 / 저자사항
A distributed pi-calculus / Matthew Hennessy.
발행사항
Cambridge :   Cambridge University Press ,   2007.  
형태사항
xvi, 259 p. ; 26 cm.
ISBN
0521873304 (hbk.) 9780521873307 (hbk.)
서지주기
Includes bibliographical references and index.
일반주제명
Electronic data processing -- Distributed processing. Pi-calculus.
000 00810namuu2200253 a 4500
001 000045340968
005 20070418102312
008 070410s2007 enk b 001 0 eng d
015 ▼a GBA689913 ▼2 bnb
020 ▼a 0521873304 (hbk.)
020 ▼a 9780521873307 (hbk.)
040 ▼a StDuBDS ▼b eng ▼c StDuBDS ▼d Uk ▼d 211009
042 ▼a ukblsr
082 0 4 ▼a 004.36 ▼2 22
090 ▼a 004.36 ▼b H515d
100 1 ▼a Hennessy, Matthew.
245 1 2 ▼a A distributed pi-calculus / ▼c Matthew Hennessy.
260 ▼a Cambridge : ▼b Cambridge University Press , ▼c 2007.
300 ▼a xvi, 259 p. ; ▼c 26 cm.
504 ▼a Includes bibliographical references and index.
650 0 ▼a Electronic data processing ▼x Distributed processing.
650 0 ▼a Pi-calculus.
945 ▼a KINS

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 004.36 H515d 등록번호 121144439 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

목차

1. Introduction; 2. Inductive principles; 3. The asynchronous Pi-Calculus; 4. Types for API; 5. Types and behaviour in API; 6. A distributed asynchronous Pi-Calculus; Behavioural Equivalences for ADPI; Sources; List of figures; Notation.


정보제공 : Aladin

관련분야 신착자료

김효곤 (2022)