Normal view MARC view ISBD view

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: TextTextPublisher: Chennai. Chennai Mathematical Institute c2016Description: 182 pages. ill.; 29 cms.Subject(s): Verification
List(s) this item appears in: 2016-09-02
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