Some of my publications are available online:
Distributed Computing and Internet Technology:
Lecture Notes in Computer Science,
Vol. 8337, Springer (2014).
Distributed Computing and Internet Technology:
Lecture Notes in Computer Science,
Vol. 6536, Springer (2011).
Social Processes, Program Verification and All That:
Mathematical Structures in Computer Science,
Vol. 19, No. 5 (2009) 877--896.
Interactive Theorem Proving and Verification:
Sadhana,
Special Issue,
Vol. 34, No. 1 (2009).
Yet Another Proof of Cantor's Theorem:
Dimensions of Logical Concepts,
Coleção CLE, Vol. 54, Campinas (2009) 209--217.
On Attending Conferences:
IEEE Computer,
Vol. 41, No. 2 (2008) 107--108.
Actors as a Coordinating Model of Computation:
Informatica,
Vol. 30, No. 2 (2006) 233--244.
A Closer Look at Constraints as Processes:
Information Processing Letters,
Vol. 98, No. 5 (2006) 206--210.
A Negation-Free Proof of Cantor's Theorem:
Notre Dame Journal of Formal Logic,
Vol. 46, No. 2 (2005) 231--233.
Type Systems for Concurrent Programming Calculi:
Informatica,
Vol. 28, No. 1 (2004) 103--113.
Combinatory Formulations of Concurrent Languages:
ACM Transactions on Programming Languages and Systems,
Vol. 19, No. 6 (1997) 899--915.
The Quine-Bernays Combinatory Calculus:
International Journal of Foundations of Computer Science,
Vol. 6, No. 4 (1995) 417--430.
Web-Scripting Languages for Free:
Proc. International Conference on Software Engineering Applied
to Networking and Parallel/ Distributed Computing (SNPD'00),
Reims, France (2000) 289--296.
Mobile Computation: Calculus and Languages:
Advances in Computing Science,
LNCS 1538, Springer-Verlag,
Berlin (1998) 300--304.
N. Raja |
TIFR |
STCS |
raja [at] tifr [dot] res [dot] in