Normal view MARC view ISBD view

Analysis of Automata-theoretic models of Concurrent Recursive Programs. Prakash Saivasan.

Material type: Text

TextPublisher: 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

Previous	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	Next
Previous	T SAH Arithmetic Properties of Generalised Euler-Briggs Constants	T SAH Automorphism groups of Schubert varieties and rigidity of Bott-Samelson-Demazure-Hansen varieties.	T SAH On some embedding problems of clsed oriented manifolds in the smooth and contact category	T SAI Analysis of Automata-theoretic models of Concurrent Recursive Programs.	T SAM Some Computational Approaches for Machine Learning on Big Datasets	T SAP Unified Approaches to PIT and Lower Bounds	T SEN Instabilities and chaos in the classical three-body and three-rotor problems	Next

Univ. - Chennai Mathematical Institute; Degree - PhD Computer Science; Sub. on - June 2016. Guide - Prof. K Narayan Kumar

CMI Library