2008 Formal Methods in Computer-Aided Design Portland, Oregon, USA 17-20 November 2008 ISBN: 978-1-4244-2735-2 Library of Congress: 2008906093 Catalogue: CFP08FMC Edited by Alessa

We study the problems of synthesizing open systems as well as controllers for them. The key aspect of our model is that it caters to reactive environments, which can disable different sets of responses when reacting with the system.

Sorting using heap structure, pp. 26-30, Proceedings of International Conference on Computer and Information Technology, 2000 held during 25-26 January, 2001(With RA Chowdhury) 32. Quicksort Using Higher Degree Comparators, IASTED Conference on Simulation