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: Reference Section , Collection code: Reference Close shelf browser
| 003.54 T789A Algebraic-geometric codes | 003.54 W64Q2 Quantum information theory | 004 G75A Automata, logics, and infinite games | 004.0151 B145P Process algebra : | 004.0151 G53F Formal methods for industrial critical systems : | 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.