V. Natarajan

Publication Activity (10 Years)

Years Active: 1994-2007
Publications (10 Years): 0

Publications

Rance Cleaveland, Gerald Lüttgen, V. Natarajan
Priority and abstraction in process algebra. Inf. Comput. 205 (9) (2007)
Rance Cleaveland, Gerald Lüttgen, V. Natarajan
A Process Algebra with Distributed Priorities. Theor. Comput. Sci. 195 (2) (1998)
Rance Cleaveland, V. Natarajan, Steve Sims, Gerald Lüttgen
Modeling and Verifying Distributed Systems Using Priorities: A Case Study. Softw. Concepts Tools 17 (2) (1996)
V. Natarajan, Rance Cleaveland
An Algebraic Theory of Process Efficiency. LICS (1996)
V. Natarajan, Rance Cleaveland
Predictability of real-time systems: a process-algebraic approach. RTSS (1996)
Rance Cleaveland, Gerald Lüttgen, V. Natarajan, Steve Sims
Priorities for Modeling and Verifying Distributed Systems. TACAS (1996)
Rance Cleaveland, Gerald Lüttgen, V. Natarajan
A Process Algebra with Distributed Priorities. CONCUR (1996)
V. Natarajan, Rance Cleaveland
Divergence and Fair Testing. ICALP (1995)
V. Natarajan, Ivan Christoff, Linda Christoff, Rance Cleaveland
Priority and Abstraction in Process Algebra. FSTTCS (1994)