HOME > Detail View

Detail View

A distributed pi-calculus

A distributed pi-calculus

Material type
단행본
Personal Author
Hennessy, Matthew.
Title Statement
A distributed pi-calculus / Matthew Hennessy.
Publication, Distribution, etc
Cambridge :   Cambridge University Press ,   2007.  
Physical Medium
xvi, 259 p. ; 26 cm.
ISBN
0521873304 (hbk.) 9780521873307 (hbk.)
Bibliography, Etc. Note
Includes bibliographical references and index.
Subject Added Entry-Topical Term
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

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 004.36 H515d Accession No. 121144439 Availability Available Due Date Make a Reservation Service B M

Contents information

Table of Contents

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.


Information Provided By: : Aladin

New Arrivals Books in Related Fields

Forouzan, Behrouz A. (2022)
김효곤 (2022)