N. Raja

Publication Activity (10 Years)

Years Active: 1995-2006
Publications (10 Years): 0

Publications

N. Raja, R. K. Shyamasundar
A closer look at constraints as processes. Inf. Process. Lett. 98 (5) (2006)
N. Raja, R. K. Shyamasundar
Actors as a Coordinating Model of Computation. Informatica (Slovenia) 30 (2) (2006)
N. Raja
A Negation-free Proof of Cantor's Theorem. Notre Dame J. Formal Log. 46 (2) (2005)
N. Raja, R. K. Shyamasundar
Type Systems for Concurrent Programming Calculi. Informatica (Slovenia) 28 (1) (2004)
N. Raja, R. K. Shyamasundar
Type Systems for Concurrent Programming Calculi. Informatica (Slovenia) 27 (4) (2003)
N. Raja, R. K. Shyamasundar
Mobile Computation: Calculus and Languages (A Tutorial). ASIAN (1998)
N. Raja, R. K. Shyamasundar
Combinatory Formaulations of Concurrent Languages. ACM Trans. Program. Lang. Syst. 19 (6) (1997)
N. Raja, R. K. Shyamasundar
Actors as a Coordinating Model of Computation (Extended Abstract). Ershov Memorial Conference (1996)
N. Raja, R. K. Shyamasundar
The Quine-Bernays Combinatory Calculus. Int. J. Found. Comput. Sci. 6 (4) (1995)
N. Raja, R. K. Shyamasundar
Combinatory Formulations of Concurrent Languages. ASIAN (1995)