Items where Author is "Lodaya, K."
Group by: Item Type | No Grouping Jump to: Article Number of items: 2. ArticleLodaya, K. ; Parikh, R. ; Ramanujam, R. ; Thiagarajan, P. S. (1995) A logical study of distributed transition systems Information and Computation, 119 (1). pp. 91-118. ISSN 0890-5401 Lodaya, K. ; Shyamasundar, R. K. (1990) Proof theory for exception handling in a tasking environment Acta Informatica, 28 (1). pp. 7-41. ISSN 0001-5903 |