Analysis of Automata-theoretic models of Concurrent Recursive Programs. Prakash Saivasan.
By: Saivasan, Prakash.
Contributor(s): K Narayan Kumar [advisor.] | Chennai Mathematical Institute [parent institute.].
Material type:
TextPublisher: Chennai. Chennai Mathematical Institute c2016Description: 182 pages. ill.; 29 cms.Subject(s): Verification
| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Reports/Dissertations | Chennai Mathematical Institute General Stacks | T SAI (Browse shelf) | Available | 9921 |
Total holds: 0
Univ. - Chennai Mathematical Institute; Degree - PhD Computer Science; Sub. on - June 2016. Guide - Prof. K Narayan Kumar