Infospheres
-
K. Mani Chandy, Lu Tian, and Daniel M. Zimmerman. Presented at the Tenth IEEE International EDOC Conference (EDOC 2006), October 2006.
-
Michel Charpentier and K. Mani Chandy. Acta Informatica, 40(3):265-301, February 2004.
-
K. Mani Chandy and Michel Charpentier. Formal Methods in System Design, 20(1):7-21, January 2002.
-
Michel Charpentier and K. Mani Chandy. In J. van Leeuwen, O. Watanabe, M. Hagiya, P.D. Mosses and T. Ito, editors, Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics (IFIP-TCS 2000), volume 1872 of Lecture Notes in Computer Science, pp. 580-595, Springer-Verlag, August 2000.
-
Michel Charpentier and K. Mani Chandy. In R. Backhouse and J. Nuno Oliveira, editors, International Conference on Mathematics of Program Construction (MPC '00), volume 1837 of Lecture Notes in Computer Science, pp. 167-186, Springer-Verlag, July 2000.
-
K. Mani Chandy and Michel Charpentier. In J. Davies, B. Roscoe and J. Woodcock, editors, Millennial Perspectives in Computer Science: Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare, Cornerstones of Computing, pp. 81-90. Palgrave, 2000.