Process algebra : equational theories of communicating processes
by
Baeten, J. C. M
; Basten, T; Reniers, M. A.
Material type: 
BookSeries: Cambridge tracts in theoretical computer science ; 50. Publisher: Cambridge : Cambridge University Press, 2010Description: xvi, 460 p. ; 26 cm.ISBN: 9780521820493 (Hbk).Subject(s): Machine theory | Process algebra | Parallel processing (Electronic computers) | Communication processDDC classification: 004.0151 B145P
| Item type | Current location | Collection | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Central Library, IISER Bhopal
OPAC URL: http://webopac.iiserb.ac.in/ |
Reference | 004.0151 B145P (Browse shelf) | Not For Loan | Reserve | 8704 | |
|
Books
|
Central Library, IISER Bhopal
OPAC URL: http://webopac.iiserb.ac.in/ |
004.0151 B145P (Browse shelf) | Available | 8706 | |||
|
Books
|
Central Library, IISER Bhopal
OPAC URL: http://webopac.iiserb.ac.in/ |
004.0151 B145P (Browse shelf) | Available | 8705 |
Browsing Central Library, IISER Bhopal Shelves , Shelving location: General Section Close shelf browser
| 003.54 P257C2 Coding Theorems of Classical and Quantum Information Theory | 003.857 G871D Deep Simplicity: | 004.0151 B145P Process algebra : | 004.0151 B145P Process algebra : | 004.0151 H971L Logic in computer science : | 004.0151 H971L Logic in computer science : | 004.0151 H971L Logic in computer science : |
Includes bibliographical references and indexes.
There are no comments for this item.