| 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 |
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: :
