V. Natarajan

According to our database, V. Natarajan authored at least 9 papers between 1994 and 2007.

Collaborative distances:

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

2007

Priority and abstraction in process algebra.

Rance Cleaveland, Gerald Lüttgen, V. Natarajan

Inf. Comput., 2007

2001

Priority in Process Algebra.

Rance Cleaveland, Gerald Lüttgen, V. Natarajan

Proceedings of the Handbook of Process Algebra, 2001

1998

A Process Algebra with Distributed Priorities.

Rance Cleaveland, Gerald Lüttgen, V. Natarajan

Theor. Comput. Sci., 1998

1996

Modeling and Verifying Distributed Systems Using Priorities: A Case Study.

Rance Cleaveland, V. Natarajan, Steve Sims, Gerald Lüttgen

Softw. Concepts Tools, 1996

Priorities for Modeling and Verifying Distributed Systems.

Rance Cleaveland, Gerald Lüttgen, V. Natarajan, Steve Sims

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Predictability of real-time systems: a process-algebraic approach.

V. Natarajan, Rance Cleaveland

Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996

An Algebraic Theory of Process Efficiency.

V. Natarajan, Rance Cleaveland

Proceedings of the Proceedings, 1996

1995

Divergence and Fair Testing.

V. Natarajan, Rance Cleaveland

Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

1994

Priority and Abstraction in Process Algebra.

V. Natarajan, Ivan Christoff, Linda Christoff, Rance Cleaveland

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994