Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Neelam
Last name:	Soundararajan
DBLP:	99/2478
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 13  

Select a publication
Show	Title	Venue	Rating	Date
	Neelam Soundararajan, Roger L. Costello. Responsive Sequential Processes.	Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings of a Symposium, Warwick, UK, September 22-23, 1988 1988	(0)	1988
	Ann E. Kelley Sobel, Neelam Soundararajan. A Proof System for Distributed Processes.	Acta Inf. 1988, Volume 25	(0)	1988
	Neelam Soundararajan, Roger L. Costello. Responsive sequential processes.	SIGPLAN Notices 1988, Volume 23	(0)	1988
	Ahmed K. Elmagarmid, Neelam Soundararajan, Ming T. Liu. A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof.	IEEE Trans. Software Eng. 1988, Volume 14	(0)	1988
	Ashok K. Goel, Neelam Soundararajan, B. Chandrasekaran. Complexity in Classificatory Reasoning.	AAAI 1987	(0)	1987
	Mathai Joseph, Abha Moitra, Neelam Soundararajan. Proof Rules for Fault Tolerant Distributed Programs.	Sci. Comput. Program. 1987, Volume 8	(0)	1987
	Neelam Soundararajan. Total Correctness of CSP Programs.	Acta Inf. 1986, Volume 23	(0)	1986
	V. Ashok, Neelam Soundararajan, Roger L. Costello. : Distributed Discrete Event Simulation using Dataflow.	ICPP 1985	(0)	1985
	Ann E. Kelley Sobel, Neelam Soundararajan. A Proof System for Distributed Processes.	Logics of Programs, Conference, Brooklyn College, June 17-19, 1985, Proceedings 1985	(0)	1985
	Neelam Soundararajan. Denotational Semantics of CSP.	Theor. Comput. Sci. 1984, Volume 33	(0)	1984

Your query returned 13 matches in the database.