Searching for authors named "Kamal Lodaya" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Sharpening the Undecidability of Interval Temporal Logic
- …Sharpening the undecidability of interval temporal logic Kamal Lodaya Institute of Mathematical…
- Cited by 6 (1 self) – Add To MetaCart
-
A Kleene iteration for parallelism
- …A Kleene iteration for parallelism 1 Kamal Lodaya Institute of Mathematical Sciences CIT Campus…
- Cited by 4 (1 self) – Add To MetaCart
-
Kamal Lodaya
- …A Kleene iteration for parallelism 1 Kamal Lodaya Institute of Mathematical Sciences CIT Campus…
- Add To MetaCart
-
Models and Logics for True Concurrency
- …Internal Report TCS-90-3 September, 1990 Models and Logics for True Concurrency Kamal Lodaya 1…
- Cited by 6 (0 self) – Add To MetaCart
-
A Logical Study of Distributed Transition Systems
- …A logical study of distributed transition systems Kamal Lodaya 1 , Rohit Parikh 2 , R…
- Cited by 27 (5 self) – Add To MetaCart
Showing 1 through 5.
