Title : Proof theory for exception handling in distributed programs

Type of Material: Thesis
Title: Proof theory for exception handling in distributed programs
Researcher: Lodaya, Kamal Dhanji
Guide: Mathai Joseph
Department: Department of Electronics Engineering
Publisher: Tata Institute of Fundamental Research
Place: Mumbai
Year: 1988
Language: English
Subject: Engineering
Electronics Engineering
Computer
Computer Theory
Dissertation/Thesis Note: PhD

00000000ntm a2200000ua 4500
00176372
003IN-AhILN
0052011-01-13 00:00:00
008__881231t1988||||ii#||||g|m||||||||||eng||
035__|a(IN-AhILN)th_76372
040__|aTIFR_400005|dIN-AhILN
041__|aeng
100__|aLodaya, Kamal Dhanji|eResearcher
110__|aDepartment of Electronics Engineering|bTata Institute of Fundamental Research|dMumbai|eIn
245__|aProof theory for exception handling in distributed programs
260__|aMumbai|bTata Institute of Fundamental Research|c1988
502__|bPhD
653__|aEngineering
653__|aElectronics Engineering
653__|aComputer
653__|aComputer Theory
700__|aMathai Joseph|eGuide
905__|anotification

User Feedback Comes Under This section.