Jai Srinivasan

According to our database, Jai Srinivasan authored at least 6 papers between 1988 and 1992.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1992

Quantitative Temporal Reasoning.

E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan

Real Time Syst., 1992

Efficient Temporal Satisfiability.

E. Allen Emerson, Tom Sadler, Jai Srinivasan

J. Log. Comput., 1992

1990

A Decidable Temporal Logic to Reason About Many Processes.

E. Allen Emerson, Jai Srinivasan

Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, 1990

On the Limits of Efficient Temporal Decidability (Extended Abstract)

E. Allen Emerson, Michael Evangelist, Jai Srinivasan

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

1989

Efficient Temporal Reasoning.

E. Allen Emerson, Tom Sadler, Jai Srinivasan

Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

1988

Branching time temporal logic.

E. Allen Emerson, Jai Srinivasan

Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988