FST TCS 2000: Foundations of Software Technology and Theoretical Science 20th Conference, New Delhi, India, December13-15, 2000 Proceedings - Kapoor, Sanjiv; Kapoor, Sanjiv; Prasad, Sanjiva; Prasad, Sanjiva (Springer Berlin Heidelberg : Imprint: Springer, 2000)