Semantics of probabilistic processes. an operational approach. Yuxin Deng.
By: Deng, Yuxin [author.].
Contributor(s): University of Birmingham. School of Computer Science.
Material type:
Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Book | Chennai Mathematical Institute General Stacks | 005.14 DEN (Browse shelf) | Available | 10100 |
Total holds: 0
Includes bibliographic notes and index.