Chandy, Kanianthra
- De Martini, Paul and Chandy, K. Mani, et el. (2012) Grid 2020: Towards a Policy of Renewable and Distributed Energy Resources
- Capponi, Agostino and Chandy, Mani, et el. (2006) Predicate Signaling in Distributed Sensor Networks; 10.7907/Z9Z899D5
- Capponi, Agostino and Chandy, Mani (2005) Stream Processing Algorithms that model behavior changes; 10.7907/Z99K487T
- Chandy, K. Mani and Foster, Ian (2001) A Deterministic Notation for Cooperating Processes; 10.7907/Z9B85664
- Manohar, Rajit and Chandy, K. Mani (2001) Mach-Based Channel Library; 10.7907/Z9SJ1HMH
- Sivilotti, Paolo A. G. and Chandy, K. Mani (2001) Reliable Synchronization Primitives for Java; 10.7907/Z9P55KHS
- Carlin, Peter and Chandy, K. Mani, et el. (2001) The Compositional C++ Language Definition; 10.7907/Z9QF8QWK
- Chandy, K. Mani and Kesselman, Carl (2001) CC++: A Declarative Concurrent Object Oriented Programming Notation; 10.7907/Z96M34V8
- Chandy, K. Mani (2001) Using Triples to Reason About Concurrent Programs; 10.7907/Z94Q7S2R
- Chandy, K. Mani and Dimitrov, Boris, et el. (2001) A World-Wide Distributed System Using Java and the Internet; 10.7907/Z98W3BBD
- Charpentier, Michel and Chandy, K. Mani (2001) Towards a Compositional Approach to the Design and Verification of Distributed Systems; 10.7907/Z93R0QW2
- Charpentier, Michel and Chandy, K. Mani (2001) Examples of Program Composition Illustrating the Use of Universal Properties; 10.7907/Z9ZC80WC
- Ramamoorthi, Ravi and Rifkin, Adam, et el. (2001) A General Resource Reservation Framework for Scientific Computing; 10.7907/Z9DZ06BJ
- Chandy, K. Mani (2001) Conjunctive Predicate Transformers for Reasoning about Concurrent Computation; 10.7907/0ztwa-hva90
- Chandy, K. Mani and Rifkin, Adam (2001) Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions; 10.7907/Z9JD4TTH
- Chandy, K. Mani and Rifkin, Adam, et el. (2001) Webs of Archived Distributed Computations for Asynchronous Collaboration; 10.7907/Z9R78C75
- Chandy, K. Mani (2001) Properties of Concurrent Programs; 10.7907/Z9ZS2TJP
- Chandy, K. Mani and Kesselman, Carl (2001) The Derivation of Compositional Programs; 10.7907/Z9GQ6VZZ
- Chandy, K. Mani and Kiniry, Joseph, et el. (2001) A Framework for Structured Distributed Object Computing; 10.7907/Z9JQ0Z2W
- Chandy, K. Mani and Schooler, Eve M. (2001) Designing Directories in Distributed Systems: A Systematic Framework; 10.7907/Z9736NXN
- Charpentier, Michel and Chandy, K. Mani (2001) Theorems about Composition; 10.7907/Z9BK19C6
- Chandy, K. Mani and Kesselman, Carl (2001) Compositional C++: Compositional Parallel Programming; 10.7907/Z94F1NX8
- Chandy, K. Mani and Manohar, Rajit, et el. (2001) Integrating Task and Data Parallelism with the Collective Communication Archetype; 10.7907/Z9222RSP
- Massingill, Berna L. and Chandy, K. Mani (1997) Parallel Program Archetypes; 10.7907/Z9WW7FP7
- Chandy, K. Mani and Taylor, Stephen (1990) A Primer for Program Composition Notation; 10.7907/0779e-dms14
- Chandy, K. Mani and Taylor, Stephen, et el. (1990) The Program Composition Project; 10.7907/wemek-2ns55
- Chandy, K. Mani (1989) The Essence of Distributed Snapshots; 10.7907/jhr7a-4h585
- Chandy, K. Mani (1988) Theorems on Computations of Distributed Systems; 10.7907/k0wav-gz192
- Chandy, K. Mani (1988) Programming Parallel Computers; 10.7907/hm444-6zc04
- Chandy, K. Mani and Misra, Jay (1987) Conditional Knowledge as a Basis for Distributed Simulation; 10.7907/de5ac-j4z29