• Per Page:
  • Sort By:

Search results for ' ' (0.004 seconds ) Total Hits : 2

1

Proof theory for exception handling in distributed programs

Researcher:Lodaya, Kamal Dhanji
Guide:Mathai Joseph
University:Tata Institute of Fundamental Research
Language:English
2

Compositional verification of distributed programs

Researcher:Pandya, Paritosh Kulin
Guide:Mathai Joseph
University:Tata Institute of Fundamental Research
Language:English