<h1>Chandy, Kanianthra</h1>
<h2>Monograph from <a href="https://authors.library.caltech.edu">CaltechAUTHORS</a></h2>
<ul>
<li>De Martini, Paul and Chandy, K. Mani, el al. (2012) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20131010-162127988">Grid 2020: Towards a Policy of Renewable and Distributed Energy Resources</a></li>
<li>Capponi, Agostino and Chandy, Mani, el al. (2006) <a href="https://resolver.caltech.edu/CaltechCSTR:2006.002">Predicate Signaling in Distributed Sensor Networks</a>; <a href="https://doi.org/10.7907/Z9Z899D5">10.7907/Z9Z899D5</a></li>
<li>Capponi, Agostino and Chandy, Mani (2005) <a href="https://resolver.caltech.edu/CaltechCSTR:2005.004">Stream Processing Algorithms that model behavior changes</a>; <a href="https://doi.org/10.7907/Z99K487T">10.7907/Z99K487T</a></li>
<li>Charpentier, Michel and Chandy, K. Mani (2000) <a href="https://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-02">Theorems about Composition</a>; <a href="https://doi.org/10.7907/Z9BK19C6">10.7907/Z9BK19C6</a></li>
<li>Charpentier, Michel and Chandy, K. Mani (1999) <a href="https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-01">Examples of Program Composition Illustrating the Use of Universal Properties</a>; <a href="https://doi.org/10.7907/Z9ZC80WC">10.7907/Z9ZC80WC</a></li>
<li>Charpentier, Michel and Chandy, K. Mani (1999) <a href="https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-02">Towards a Compositional Approach to the Design and Verification of Distributed Systems</a>; <a href="https://doi.org/10.7907/Z93R0QW2">10.7907/Z93R0QW2</a></li>
<li>Chandy, K. Mani and Rifkin, Adam, el al. (1997) <a href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-10">Webs of Archived Distributed Computations for Asynchronous Collaboration</a>; <a href="https://doi.org/10.7907/Z9R78C75">10.7907/Z9R78C75</a></li>
<li>Chandy, K. Mani and Kiniry, Joseph, el al. (1997) <a href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-07">A Framework for Structured Distributed Object Computing</a>; <a href="https://doi.org/10.7907/Z9JQ0Z2W">10.7907/Z9JQ0Z2W</a></li>
<li>Massingill, Berna L. and Chandy, K. Mani (1997) <a href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-96-28">Parallel Program Archetypes</a>; <a href="https://doi.org/10.7907/Z9WW7FP7">10.7907/Z9WW7FP7</a></li>
<li>Ramamoorthi, Ravi and Rifkin, Adam, el al. (1997) <a href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-19">A General Resource Reservation Framework for Scientific Computing</a>; <a href="https://doi.org/10.7907/Z9DZ06BJ">10.7907/Z9DZ06BJ</a></li>
<li>Sivilotti, Paolo A. G. and Chandy, K. Mani (1996) <a href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-11">Reliable Synchronization Primitives for Java</a>; <a href="https://doi.org/10.7907/Z9P55KHS">10.7907/Z9P55KHS</a></li>
<li>Chandy, K. Mani and Dimitrov, Boris, el al. (1996) <a href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-08">A World-Wide Distributed System Using Java and the Internet</a>; <a href="https://doi.org/10.7907/Z98W3BBD">10.7907/Z98W3BBD</a></li>
<li>Chandy, K. Mani and Rifkin, Adam (1996) <a href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-15">Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions</a>; <a href="https://doi.org/10.7907/Z9JD4TTH">10.7907/Z9JD4TTH</a></li>
<li>Chandy, K. Mani and Schooler, Eve M. (1996) <a href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-19">Designing Directories in Distributed Systems: A Systematic Framework</a>; <a href="https://doi.org/10.7907/Z9736NXN">10.7907/Z9736NXN</a></li>
<li>Manohar, Rajit and Chandy, K. Mani (1994) <a href="https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-15">Mach-Based Channel Library</a>; <a href="https://doi.org/10.7907/Z9SJ1HMH">10.7907/Z9SJ1HMH</a></li>
<li>Chandy, K. Mani and Manohar, Rajit, el al. (1994) <a href="https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-08">Integrating Task and Data Parallelism with the Collective Communication Archetype</a>; <a href="https://doi.org/10.7907/Z9222RSP">10.7907/Z9222RSP</a></li>
<li>Chandy, K. Mani and Foster, Ian (1993) <a href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-31">A Deterministic Notation for Cooperating Processes</a>; <a href="https://doi.org/10.7907/Z9B85664">10.7907/Z9B85664</a></li>
<li>Chandy, K. Mani (1993) <a href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-24">Properties of Concurrent Programs</a>; <a href="https://doi.org/10.7907/Z9ZS2TJP">10.7907/Z9ZS2TJP</a></li>
<li>Chandy, K. Mani (1993) <a href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-29">Conjunctive Predicate Transformers for Reasoning about Concurrent Computation</a>; <a href="https://doi.org/10.7907/0ztwa-hva90">10.7907/0ztwa-hva90</a></li>
<li>Carlin, Peter and Chandy, K. Mani, el al. (1993) <a href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-02">The Compositional C++ Language Definition</a>; <a href="https://doi.org/10.7907/Z9QF8QWK">10.7907/Z9QF8QWK</a></li>
<li>Chandy, K. Mani and Kesselman, Carl (1993) <a href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-01">CC++: A Declarative Concurrent Object Oriented Programming Notation</a>; <a href="https://doi.org/10.7907/Z96M34V8">10.7907/Z96M34V8</a></li>
<li>Chandy, K. Mani (1993) <a href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-02">Using Triples to Reason About Concurrent Programs</a>; <a href="https://doi.org/10.7907/Z94Q7S2R">10.7907/Z94Q7S2R</a></li>
<li>Chandy, K. Mani and Kesselman, Carl (1992) <a href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-18">The Derivation of Compositional Programs</a>; <a href="https://doi.org/10.7907/Z9GQ6VZZ">10.7907/Z9GQ6VZZ</a></li>
<li>Chandy, K. Mani and Kesselman, Carl (1992) <a href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-13">Compositional C++: Compositional Parallel Programming</a>; <a href="https://doi.org/10.7907/Z94F1NX8">10.7907/Z94F1NX8</a></li>
<li>Chandy, K. Mani and Taylor, Stephen (1990) <a href="https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-10">A Primer for Program Composition Notation</a>; <a href="https://doi.org/10.7907/0779e-dms14">10.7907/0779e-dms14</a></li>
<li>Chandy, K. Mani and Taylor, Stephen, el al. (1990) <a href="https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-03">The Program Composition Project</a>; <a href="https://doi.org/10.7907/wemek-2ns55">10.7907/wemek-2ns55</a></li>
<li>Chandy, K. Mani (1989) <a href="https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-05">The Essence of Distributed Snapshots</a>; <a href="https://doi.org/10.7907/jhr7a-4h585">10.7907/jhr7a-4h585</a></li>
<li>Chandy, K. Mani (1988) <a href="https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-16">Programming Parallel Computers</a>; <a href="https://doi.org/10.7907/hm444-6zc04">10.7907/hm444-6zc04</a></li>
<li>Chandy, K. Mani (1988) <a href="https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-06">Theorems on Computations of Distributed Systems</a>; <a href="https://doi.org/10.7907/k0wav-gz192">10.7907/k0wav-gz192</a></li>
<li>Chandy, K. Mani and Misra, Jay (1987) <a href="https://resolver.caltech.edu/CaltechCSTR:1987.5251-tr-87">Conditional Knowledge as a Basis for Distributed Simulation</a>; <a href="https://doi.org/10.7907/de5ac-j4z29">10.7907/de5ac-j4z29</a></li>
</ul>