Items where Author is "Ramanujam, R."

Article

Lodaya, 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, Kamal ; Mukund, Madhavan ; Ramanujam, R. ; Thiagarajan, P. S. (1992) Models and logics for true concurrency Sadhana (Academy Proceedings in Engineering Sciences), 17 (1). pp. 131-165. ISSN 0256-2499

Lodaya, Kamal ; Ramanujam, R. ; Thiagarajan, P. S. (1992) Temporal logics for communicating sequential agents: I International Journal of Foundations of Computer Science, 3 (2). pp. 117-159. ISSN 0129-0541