De Martini, Paul; Chandy, K. Mani et al. (2012) Grid 2020: Towards a Policy of Renewable and Distributed Energy Resources

Capponi, Agostino; Chandy, Mani et al. (2006) Predicate Signaling in Distributed Sensor Networks ICDCS 2006; Series.Computer Science Technical Reports; No. 2006.001; (Submitted)

Capponi, Agostino; Chandy, Mani (2005) Stream Processing Algorithms that model behavior changes Submitted to Information Fusion 2005; Series.Computer Science Technical Reports; No. 2005.002;

Charpentier, Michel; Chandy, K. Mani (2000) Theorems about Composition

Charpentier, Michel; Chandy, K. Mani (1999) Examples of Program Composition Illustrating the Use of Universal Properties

Charpentier, Michel; Chandy, K. Mani (1999) Towards a Compositional Approach to the Design and Verification of Distributed Systems

Chandy, K. Mani; Kiniry, Joseph et al. (1997) A Framework for Structured Distributed Object Computing

Ramamoorthi, Ravi; Rifkin, Adam et al. (1997) A General Resource Reservation Framework for Scientific Computing No. CRPC-97-7;

Massingill, Berna L.; Chandy, K. Mani (1997) Parallel Program Archetypes

Chandy, K. Mani; Rifkin, Adam et al. (1997) Webs of Archived Distributed Computations for Asynchronous Collaboration

Sivilotti, Paolo A. G.; Chandy, K. Mani (1996) Reliable Synchronization Primitives for Java

Chandy, K. Mani; Dimitrov, Boris et al. (1996) A World-Wide Distributed System Using Java and the Internet

Chandy, K. Mani; Schooler, Eve M. (1996) Designing Directories in Distributed Systems: A Systematic Framework

Chandy, K. Mani; Rifkin, Adam (1996) Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions

Manohar, Rajit; Chandy, K. Mani (1994) Mach-Based Channel Library Series.Computer Science Technical Reports;

Chandy, K. Mani; Manohar, Rajit et al. (1994) Integrating Task and Data Parallelism with the Collective Communication Archetype

Chandy, K. Mani; Foster, Ian (1993) A Deterministic Notation for Cooperating Processes Series.Computer Science Technical Reports;

Chandy, K. Mani (1993) Properties of Concurrent Programs Series.Computer Science Technical Reports;

Chandy, K. Mani (1993) Conjunctive Predicate Transformers for Reasoning about Concurrent Computation Series.Computer Science Technical Reports;

Chandy, K. Mani; Kesselman, Carl (1993) CC++: A Declarative Concurrent Object Oriented Programming Notation Series.Computer Science Technical Reports;

Carlin, Peter; Chandy, K. Mani et al. (1993) The Compositional C++ Language Definition Series.Computer Science Technical Reports;

Chandy, K. Mani (1993) Using Triples to Reason About Concurrent Programs Series.Computer Science Technical Reports;

Chandy, K. Mani; Kesselman, Carl (1992) Compositional C++: Compositional Parallel Programming Series.Computer Science Technical Reports;

Chandy, K. Mani; Kesselman, Carl (1992) The Derivation of Compositional Programs Series.Computer Science Technical Reports;

Chandy, K. Mani; Taylor, Stephen (1990) A Primer for Program Composition Notation

Chandy, K. Mani; Taylor, Stephen et al. (1990) The Program Composition Project

Chandy, K. Mani (1989) The Essence of Distributed Snapshots

Chandy, K. Mani (1988) Programming Parallel Computers

Chandy, K. Mani (1988) Theorems on Computations of Distributed Systems

Chandy, K. Mani; Misra, Jay (1987) Conditional Knowledge as a Basis for Distributed Simulation