@misc {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/41879,
    title ="Grid 2020: Towards a Policy of Renewable and Distributed Energy Resources",
    author = "De Martini, Paul and Chandy, K. Mani and Fromer, N. A.",
    
    
    
    
    month = "January",
    year = "2012",
    
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20131010-162127988",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/27080,
    title ="Predicate Signaling in Distributed Sensor Networks",
    author = "Capponi, Agostino and Chandy, Mani and Fatkullin, Ibrahim",
    journal = "ICDCS 2006",
    
    number = "2006.001",
    
    month = "January",
    year = "2006",
    
    doi = "https://doi.org/10.7907/Z9Z899D5",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:2006.002",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/27075,
    title ="Stream Processing Algorithms that model behavior changes",
    author = "Capponi, Agostino and Chandy, Mani",
    journal = "Submitted to Information Fusion 2005",
    
    number = "2005.002",
    pages = "1",
    month = "February",
    year = "2005",
    
    doi = "https://doi.org/10.7907/Z99K487T",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:2005.004",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26823,
    title ="Theorems about Composition",
    author = "Charpentier, Michel and Chandy, K. Mani",
    
    
    
    
    month = "January",
    year = "2000",
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-02",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26845,
    title ="Examples of Program Composition Illustrating the Use of Universal Properties",
    author = "Charpentier, Michel and Chandy, K. Mani",
    
    
    
    
    month = "January",
    year = "1999",
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-01",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26846,
    title ="Towards a Compositional Approach to the Design and Verification of Distributed Systems",
    author = "Charpentier, Michel and Chandy, K. Mani",
    
    
    
    
    month = "January",
    year = "1999",
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-02",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26810,
    title ="A Framework for Structured Distributed Object Computing",
    author = "Chandy, K. Mani and Kiniry, Joseph and Rifkin, Adam and Zimmerman, Daniel and Tanaka, Wesley and Weisman, Luke",
    
    
    
    
    month = "January",
    year = "1997",
    
    doi = "https://doi.org/10.7907/Z9JQ0Z2W",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-07",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26826,
    title ="A General Resource Reservation Framework for Scientific Computing",
    author = "Ramamoorthi, Ravi and Rifkin, Adam and Dimitrov, Boris and Chandy, K. Mani",
    
    
    number = "CRPC-97-7",
    
    month = "January",
    year = "1997",
    
    doi = "https://doi.org/10.7907/Z9DZ06BJ",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-19",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26807,
    title ="Parallel Program Archetypes",
    author = "Massingill, Berna L. and Chandy, K. Mani",
    
    
    
    
    month = "January",
    year = "1997",
    
    doi = "https://doi.org/10.7907/Z9WW7FP7",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-96-28",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26812,
    title ="Webs of Archived Distributed Computations for Asynchronous Collaboration",
    author = "Chandy, K. Mani and Rifkin, Adam and Kiniry, Joseph and Zimmerman, Daniel",
    
    
    
    
    month = "January",
    year = "1997",
    
    doi = "https://doi.org/10.7907/Z9R78C75",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-10",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26892,
    title ="Reliable Synchronization Primitives for Java",
    author = "Sivilotti, Paolo A. G. and Chandy, K. Mani",
    
    
    
    
    month = "June",
    year = "1996",
    
    doi = "https://doi.org/10.7907/Z9P55KHS",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-11",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26890,
    title ="A World-Wide Distributed System Using Java and the Internet",
    author = "Chandy, K. Mani and Dimitrov, Boris and Le, Huy and Mandelson, Jakob and Richardson, Matthew and Rifkin, Adam and Sivilotti, Paolo A. G. and Tanaka, Wesley and Weisman, Luke",
    
    
    
    
    month = "March",
    year = "1996",
    
    doi = "https://doi.org/10.7907/Z98W3BBD",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-08",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26800,
    title ="Designing Directories in Distributed Systems: A Systematic Framework",
    author = "Chandy, K. Mani and Schooler, Eve M.",
    
    
    
    
    month = "January",
    year = "1996",
    
    doi = "https://doi.org/10.7907/Z9736NXN",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-19",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26796,
    title ="Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions",
    author = "Chandy, K. Mani and Rifkin, Adam",
    
    
    
    
    month = "January",
    year = "1996",
    
    doi = "https://doi.org/10.7907/Z9JD4TTH",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-15",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26870,
    title ="Mach-Based Channel Library",
    author = "Manohar, Rajit and Chandy, K. Mani",
    
    
    
    
    month = "July",
    year = "1994",
    
    doi = "https://doi.org/10.7907/Z9SJ1HMH",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-15",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26787,
    title ="Integrating Task and Data Parallelism with the Collective Communication Archetype",
    author = "Chandy, K. Mani and Manohar, Rajit and Massingill, Berna L. and Meiron, Daniel I.",
    
    
    
    
    month = "January",
    year = "1994",
    
    doi = "https://doi.org/10.7907/Z9222RSP",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-08",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26897,
    title ="A Deterministic Notation for Cooperating Processes",
    author = "Chandy, K. Mani and Foster, Ian",
    
    
    
    
    month = "August",
    year = "1993",
    
    doi = "https://doi.org/10.7907/Z9B85664",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-31",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26763,
    title ="Properties of Concurrent Programs",
    author = "Chandy, K. Mani",
    
    
    
    
    month = "June",
    year = "1993",
    
    doi = "https://doi.org/10.7907/Z9ZS2TJP",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-24",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26769,
    title ="Conjunctive Predicate Transformers for Reasoning about Concurrent Computation",
    author = "Chandy, K. Mani",
    
    
    
    
    month = "June",
    year = "1993",
    
    doi = "https://doi.org/10.7907/Z9KP8063",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-29",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26851,
    title ="CC++: A Declarative Concurrent Object Oriented Programming Notation",
    author = "Chandy, K. Mani and Kesselman, Carl",
    
    
    
    
    month = "March",
    year = "1993",
    
    doi = "https://doi.org/10.7907/Z96M34V8",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-01",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26852,
    title ="The Compositional C++ Language Definition",
    author = "Carlin, Peter and Chandy, K. Mani and Kesselman, Carl",
    
    
    
    
    month = "March",
    year = "1993",
    
    doi = "https://doi.org/10.7907/Z9QF8QWK",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-02",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26855,
    title ="Using Triples to Reason About Concurrent Programs",
    author = "Chandy, K. Mani",
    
    
    
    
    month = "January",
    year = "1993",
    
    doi = "https://doi.org/10.7907/Z94Q7S2R",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-02",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26756,
    title ="Compositional C++: Compositional Parallel Programming",
    author = "Chandy, K. Mani and Kesselman, Carl",
    
    
    
    
    month = "January",
    year = "1992",
    
    doi = "https://doi.org/10.7907/Z94F1NX8",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-13",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26760,
    title ="The Derivation of Compositional Programs",
    author = "Chandy, K. Mani and Kesselman, Carl",
    
    
    
    
    month = "January",
    year = "1992",
    
    doi = "https://doi.org/10.7907/Z9GQ6VZZ",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-18",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26726,
    title ="A Primer for Program Composition Notation",
    author = "Chandy, K. Mani and Taylor, Stephen",
    
    
    
    
    month = "January",
    year = "1990",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-10",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26722,
    title ="The Program Composition Project",
    author = "Chandy, K. Mani and Taylor, Stephen and Kesselman, Carl and Foster, Ian",
    
    
    
    
    month = "January",
    year = "1990",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-03",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26712,
    title ="The Essence of Distributed Snapshots",
    author = "Chandy, K. Mani",
    
    
    
    
    month = "January",
    year = "1989",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-05",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26702,
    title ="Programming Parallel Computers",
    author = "Chandy, K. Mani",
    
    
    
    
    month = "January",
    year = "1988",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-16",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26693,
    title ="Theorems on Computations of Distributed Systems",
    author = "Chandy, K. Mani",
    
    
    
    
    month = "January",
    year = "1988",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-06",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26685,
    title ="Conditional Knowledge as a Basis for Distributed Simulation",
    author = "Chandy, K. Mani and Misra, Jay",
    
    
    
    
    month = "January",
    year = "1987",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.5251-tr-87",
}