@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/112353,
    title ="Ground motions in urban Los Angeles from the 2019 Ridgecrest earthquake sequence",
    author = "Filippitzis, Filippos and Kohler, Monica D. and Heaton, Thomas H. and Graves, Robert W. and Clayton, Robert W. and Guy, Richard G. and Bunn, Julian J. and Chandy, K. Mani",
    journal = "Earthquake Spectra",
    volume = "37",
    number = "4",
    pages = "2493-2522",
    month = "November",
    year = "2021",
    doi = "https://doi.org/10.1177/87552930211003916",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20211209-231200000",
}
@conference_item {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/114801,
    title ="Variations in Ground Motion Amplification in the Los Angeles Basin due to the 2019 M7.1 Ridgecrest Earthquake: Implications for the Long-Period Response of Infrastructure",
    author = "Kohler, Monica D. and Filippitzis, Filippos and Graves, Robert and Massari, Anthony and Heaton, Thomas and Clayton, Robert and Bunn, Julian and Guy, Richard and Chandy, K. Mani",
    
    
    
    
    month = "February",
    year = "2021",
    
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220518-205134775",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/107360,
    title ="2019 Ridgecrest Earthquake Reveals Areas of Los Angeles That Amplify Shaking of High-Rises",
    author = "Kohler, Monica D. and Filippitzis, Filippos and Heaton, Thomas and Clayton, Robert W. and Guy, Richard and Bunn, Julian and Chandy, K. Mani",
    journal = "Seismological Research Letters",
    volume = "91",
    number = "6",
    pages = "3370-3380",
    month = "November",
    year = "2020",
    doi = "https://doi.org/10.1785/0220200170",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210107-103141484",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/99876,
    title ="CSN-LAUSD Network: A Dense Accelerometer Network in Los Angeles Schools",
    author = "Clayton, Robert W. and Kohler, Monica and Guy, Richard and Bunn, Julian and Heaton, Thomas and Chandy, Mani",
    journal = "Seismological Research Letters",
    volume = "91",
    number = "2A",
    pages = "622-630",
    month = "March",
    year = "2020",
    doi = "https://doi.org/10.1785/0220190200",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20191115-160214215",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92157,
    title ="Compositional structures for streaming applications",
    author = "Chandy, K. Mani and Bunn, Julian",
    
    
    
    pages = "352-361",
    month = "January",
    year = "2019",
    doi = "https://doi.org/10.1145/3288599.3288642",
    isbn = "978-1-4503-6094-4",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190109-091547583",
}
@conference_item {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/87838,
    title ="Community seismic network and localized earthquake situational awareness",
    author = "Kohler, M. D. and Guy, R. and Bunn, J. and Massari, A. and Clayton, R. and Heaton, T. and Chandy, K. M. and Ebrahimian, H. and Dorn, C.",
    
    
    
    pages = "1-9",
    month = "June",
    year = "2018",
    
    
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180713-133233514",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/86427,
    title ="Parallel discrete event simulation: The making of a field",
    author = "Fujimoto, Richard M. and Bagrodia, Rajive and Bryant, Randal E. and Chandy, K. Mani and Jefferson, David and Misra, Jayadev and Nicol, David and Unger, Brian",
    
    
    
    pages = "262-291",
    month = "December",
    year = "2017",
    doi = "https://doi.org/10.1109/WSC.2017.8247793",
    isbn = "978-1-5386-3428-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180516-142716986",
}
@conference_item {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/73802,
    title ="Dense Building Instrumentation Application for City-Wide Structural Health Monitoring",
    author = "Massari, A. and Kohler, M. and Clayton, R. and Guy, R. and Heaton, T. and Bunn, J. and Chandy, K. M. and Demetri, D.",
    
    
    
    
    month = "January",
    year = "2017",
    
    
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170127-163202195",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/68832,
    title ="Downtown Los Angeles 52-Story High-Rise and Free-Field Response to an Oil Refinery Explosion",
    author = "Kohler, Monica D. and Massari, Anthony and Heaton, Thomas H. and Kanamori, Hiroo and Hauksson, Egill and Guy, Richard and Clayton, Robert W. and Bunn, Julian and Chandy, K. M.",
    journal = "Earthquake Spectra",
    volume = "32",
    number = "3",
    pages = "1793-1820",
    month = "August",
    year = "2016",
    doi = "https://doi.org/10.1193/062315EQS101M",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160705-133353269",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/73396,
    title ="Theory and implementation of a distributed event based platform",
    author = "Chandy, K. Mani",
    
    
    
    pages = "205-213",
    month = "June",
    year = "2016",
    doi = "https://doi.org/10.1145/2933267.2940321",
    isbn = "978-1-4503-4021-2",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170110-151419016",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/61021,
    title ="Community Seismic Network: A Dense Array to Sense Earthquake Strong Motion",
    author = "Clayton, Robert W. and Heaton, Thomas and Kohler, Monica and Chandy, Mani and Guy, Richard and Bunn, Julian",
    journal = "Seismological Research Letters",
    volume = "86",
    number = "5",
    pages = "1354-1363",
    month = "September",
    year = "2015",
    doi = "https://doi.org/10.1785/0220150094",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20151012-154950185",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/80069,
    title ="Quadratically Constrained Quadratic Programs on Acyclic Graphs With Application to Power Flow",
    author = "Bose, Subhonmesh and Gayme, Dennice F. and Chandy, K. Mani and Low, Steven H.",
    journal = "IEEE Transactions on Control of Network Systems",
    volume = "2",
    number = "3",
    pages = "278-287",
    month = "September",
    year = "2015",
    doi = "https://doi.org/10.1109/TCNS.2015.2401172",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170810-100823060",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/61014,
    title ="A model for residential adoption of photovoltaic systems",
    author = "Agarwal, Anish and Cai, Desmond and Shah, Sunil and Chandy, Mani and Sheric, Robert",
    
    
    
    pages = "1-5",
    month = "July",
    year = "2015",
    doi = "https://doi.org/10.1109/PESGM.2015.7286226",
    isbn = "978-1-4673-8040-9",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20151012-145047466",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/48315,
    title ="The Caltech CSN project collects sensor data from thousands of personal devices for realtime response to dangerous earthquakes",
    author = "Faulkner, Matthew and Clayton, Robert and Heaton, Thomas H. and Chandy, K. Mani and Kohler, Monica and Bunn, Julian and Guy, Richard and Liu, Annie and Olson, Michael and Cheng, MingHei and Krause, Andreas",
    journal = "Communications of the ACM",
    volume = "57",
    number = "7",
    pages = "66-75",
    month = "July",
    year = "2014",
    doi = "https://doi.org/10.1145/2622633",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140811-131704662",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/48687,
    title ="Community Sense and Response Systems: Your Phone as Quake Detector",
    author = "Faulkner, Matthew and Clayton, Robert W. and Heaton, Thomas and Chandy, K. Mani and Kohler, Monica D. and Bunn, Julian and Guy, Richard and Liu, Annie and Olson, Michael and Cheng, Ming-Hei and Krause, Andreas",
    journal = "Communications of the ACM",
    volume = "57",
    number = "7",
    pages = "66-75",
    month = "July",
    year = "2014",
    doi = "https://doi.org/10.1145/2622633",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140819-131736568",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/57140,
    title ="Solving quadratically constrained quadratic programs on acyclic graphs with application to optimal power flow",
    author = "Bose, Subhonmesh and Gayme, Dennice F. and Chandy, K. Mani and Low, Steven H.",
    
    
    
    pages = "1-5",
    month = "March",
    year = "2014",
    doi = "https://doi.org/10.1109/CISS.2014.6814135 ",
    isbn = "978-1-4799-3001-2",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150501-091249022",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/42998,
    title ="Impact of residential PV adoption on Retail Electricity Rates",
    author = "Cai, Desmond W. H. and Adlakha, Sachin and Low, Steven H. and De Martini, Paul and Chandy, K. Mani",
    journal = "Energy Policy",
    volume = "62",
    
    pages = "830-843",
    month = "November",
    year = "2013",
    doi = "https://doi.org/10.1016/j.enpol.2013.07.009",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20131213-111904382",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/43116,
    title ="Optimal placement of energy storage in the grid",
    author = "Bose, Subhonmesh and Gayme, Dennice F. and Topcu, Ufuk and Chandy, K. Mani",
    
    
    
    pages = "5605-5612",
    month = "December",
    year = "2012",
    doi = "https://doi.org/10.1109/CDC.2012.6426113 ",
    isbn = "978-1-4673-2065-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20131220-110930033",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/39668,
    title ="Equivalence of Branch Flow and Bus Injection Models",
    author = "Subhonmesh, Bose and Low, Steven H. and Chandy, K. Mani",
    
    
    
    pages = "1893-1899",
    month = "October",
    year = "2012",
    doi = "https://doi.org/10.1109/Allerton.2012.6483453",
    isbn = "978-1-4673-4537-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20130731-091844876",
}
@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",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/33275,
    title ="Towards a Discipline of Geospatial Distributed Event Based Systems",
    author = "Liu, Annie and Olson, Michael and Bunn, Julian and Chandy, K. Mani",
    journal = "Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems",
    
    
    pages = "95-106",
    month = "January",
    year = "2012",
    
    isbn = "978-1-4503-1315-5",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120816-143912724",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/80070,
    title ="Optimal contract for wind power in day-ahead electricity markets",
    author = "Cai, Desmond W. H. and Adlakha, Sachin and Chandy, K. Mani",
    
    
    
    pages = "1521-1527",
    month = "December",
    year = "2011",
    doi = "https://doi.org/10.1109/CDC.2011.6161253",
    isbn = "978-1-61284-800-6",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170810-100855433",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/74358,
    title ="GRIP - Grids with intelligent periphery: Control architectures for Grid2050^π",
    author = "Bakken, D. and Bose, A. and Chandy, K. M. and Khargonekar, P. P. and Kuh, A. and Low, S. and von Meier, A. and Poolla, K. and Varaiya, P. P. and Wu, F.",
    
    
    
    pages = "7-12",
    month = "October",
    year = "2011",
    doi = "https://doi.org/10.1109/SmartGridComm.2011.6102397",
    isbn = "978-1-4577-1702-4",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170215-173725326",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/80116,
    title ="Inverter VAR control for distribution systems with renewables",
    author = "Farivar, Masoud and Clarke, Christopher R. and Low, Steven H. and Chandy, K. Mani",
    
    
    
    pages = "457-462",
    month = "October",
    year = "2011",
    doi = "https://doi.org/10.1109/SmartGridComm.2011.6102366",
    isbn = "978-1-4577-1704-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170810-112707612",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/80172,
    title ="Optimal design of hybrid energy system with PV/wind turbine/storage: A case study",
    author = "Huang, Rui and Low, Steven H. and Topcu, Ufuk and Chandy, K. Mani and Clarke, Christopher R.",
    
    
    
    pages = "511-516",
    month = "October",
    year = "2011",
    doi = "https://doi.org/10.1109/SmartGridComm.2011.6102376",
    isbn = "978-1-4577-1704-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170810-125833627",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/80066,
    title ="Optimal power flow over tree networks",
    author = "Bose, Subhonmesh and Gayme, Dennice F. and Low, Steven and Chandy, K. Mani",
    
    
    
    pages = "1342-1348",
    month = "September",
    year = "2011",
    doi = "https://doi.org/10.1109/Allerton.2011.6120323",
    isbn = "978-1-4577-1817-5",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170810-095656194",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/25497,
    title ="Verification of distributed systems with local–global predicates",
    author = "Chandy, K. Mani and Go, Brian and Mitra, Sayan and Pilotto, Concetta and White, Jerome",
    journal = "Formal Aspects of Computing",
    volume = "23",
    number = "5",
    pages = "649-679",
    month = "September",
    year = "2011",
    
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110929-135751977",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/31568,
    title ="Rapid detection of rare geospatial events: earthquake warning applications",
    author = "Olson, Michael and Liu, Annie and Faulkner, Matthew and Chandy, K. Mani",
    
    
    
    pages = "89-100",
    month = "July",
    year = "2011",
    
    isbn = "978-1-4503-0423-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120521-104906176",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/31583,
    title ="Tutorial: Event processing grand challenges",
    author = "Bizarro, Pedro and Chandy, K. Mani and Stojanovic, Nenad",
    
    
    
    pages = "361-362",
    month = "July",
    year = "2011",
    
    isbn = "978-1-4503-0423-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120522-090842007",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/74821,
    title ="Demo abstract, the next big one: Detecting earthquakes and other rare events from community-based sensors",
    author = "Faulkner, Matthew and Olson, Michael and Chandy, Rishi and Krause, Jonathan and Chandy, K. Mani and Krause, Andreas",
    
    
    
    pages = "121-122",
    month = "April",
    year = "2011",
    
    isbn = "978-1-61284-854-9",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170306-172057582",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/74186,
    title ="Sensor networks for the detection and tracking of radiation and other threats in cities",
    author = "Liu, Annie H. and Bunn, Julian J. and Chandy, K. Mani",
    
    
    
    
    month = "April",
    year = "2011",
    
    isbn = "978-1-61284-854-9",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170208-175923694",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/74822,
    title ="The next big one: Detecting earthquakes and other rare events from community-based sensors",
    author = "Faulkner, Matthew and Olson, Michael and Chandy, Rishi and Krause, Jonathan and Chandy, K. Mani and Krause, Andreas",
    
    
    
    pages = "13-24",
    month = "April",
    year = "2011",
    
    isbn = "978-1-61284-854-9",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170306-172704069",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/29260,
    title ="Community Seismic Network",
    author = "Clayton, Robert W. and Heaton, Thomas and Chandy, Mani and Krause, Andreas and Kohler, Monica and Bunn, Julian and Guy, Richard and Olson, Michael and Faulkner, Matthew and Cheng, MingHei and Strand, Leif and Chandy, Rishi and Obenshain, Daniel and Liu, Anne and Aivazis, Michael",
    journal = "Annals of Geophysics",
    volume = "54",
    number = "6",
    pages = "738-747",
    month = "January",
    year = "2011",
    doi = "https://doi.org/10.4401/ag-5269",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120213-121753118",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/80082,
    title ="A simple optimal power flow model with energy storage",
    author = "Chandy, K. Mani and Low, Steven H. and Topcu, Ufuk and Xu, Huan",
    
    
    
    pages = "1051-1057",
    month = "December",
    year = "2010",
    doi = "https://doi.org/10.1109/CDC.2010.5718193",
    isbn = "978-1-4244-7745-6",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170810-102952651",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/75114,
    title ="Load-shedding probabilities with hybrid renewable power generation and energy storage",
    author = "Xu, Huan and Topcu, Ufuk and Low, Steven H. and Clarke, Christopher R. and Chandy, K. Mani",
    
    
    
    pages = "233-239",
    month = "September",
    year = "2010",
    doi = "https://doi.org/10.1109/ALLERTON.2010.5706912",
    isbn = "978-1-4244-8216-0",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170314-151537459",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/17375,
    title ="Internet Predictions",
    author = "Estrin, Deborah and Chandy, K. Mani and Young, R. Michael and Smarr, Larry and Odlyzko, Andrew and Clark, David and Reding, Viviane and Ishida, Toru and Sharma, Sharad and Cerf, Vinton G. and Hölzle, Urs and Barroso, Luiz André and Mulligan, Geoff and Hooke, Adrian and Elliott, Chip",
    journal = "IEEE Internet Computing",
    volume = "14",
    number = "1",
    pages = "12-42",
    month = "January",
    year = "2010",
    
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100202-112121782",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/23250,
    title ="The Impact of Sense and Respond Systems",
    author = "Chandy, K. Mani",
    journal = "IEEE Internet Computing",
    volume = "14",
    number = "1",
    pages = "14-16",
    month = "January",
    year = "2010",
    
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110407-094212599",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/75006,
    title ="The Impact of Sense and Response Systems",
    author = "Chandy, K. Mani",
    journal = "IEEE Internet Computing",
    volume = "14",
    number = "1",
    pages = "14-16",
    month = "January",
    year = "2010",
    doi = "https://doi.org/10.1109/MIC.2010.12",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170309-150535053",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/101520,
    title ="Convergence Verification: From Shared Memory to Partially Synchronous Systems",
    author = "Chandy, K. Mani and Mitra, Sayan and Pilotto, Concetta",
    journal = "Lecture Notes in Computer Science",
    
    number = "5215",
    pages = "218-232",
    month = "August",
    year = "2008",
    doi = "https://doi.org/10.1007/978-3-540-85778-5_16",
    isbn = "978-3-540-85777-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200225-075817665",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/88705,
    title ="A Formalized Theory for Verifying Stability and Convergence of Automata in PVS",
    author = "Mitra, Sayan and Chandy, K. Mani",
    
    
    number = "5170",
    pages = "230-245",
    month = "August",
    year = "2008",
    doi = "https://doi.org/10.1007/978-3-540-71067-7_20",
    isbn = "9783540710653",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180809-133557629",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/76491,
    title ="Networked sensing systems for detecting people carrying radioactive material",
    author = "Chandy, Mani and Pilotto, Concetta and McLean, Ryan",
    
    
    
    pages = "148-155",
    month = "June",
    year = "2008",
    doi = "https://doi.org/10.1109/INSS.2008.4610916",
    isbn = "978-4-907764-31-9",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170410-170440324",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/69784,
    title ="Event processing using database technology",
    author = "Chandy, Mani and Gawlick, Dieter",
    
    
    
    pages = "1169-1170",
    month = "June",
    year = "2007",
    
    isbn = "978-1-59593-686-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160819-102210819",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/76873,
    title ="Self-Similar Algorithms for Dynamic Distributed Systems",
    author = "Chandy, K. Mani and Charpentier, Michel",
    
    
    
    pages = "67",
    month = "June",
    year = "2007",
    doi = "https://doi.org/10.1109/ICDCS.2007.137",
    isbn = "9780769528373",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170424-152222673",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92233,
    title ="Towards a theory of events",
    author = "Chandy, K. Mani and Charpentier, Michel and Capponi, Agostino",
    
    
    
    pages = "180-187",
    month = "June",
    year = "2007",
    doi = "https://doi.org/10.1145/1266894.1266929",
    isbn = "978-1-59593-665-3",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-161531182",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/22251,
    title ="Control-based Scheduling in a Distributed Stream Processing System",
    author = "Khorlin, Andrey-A and Chandy, K. Mani",
    
    
    
    pages = "55-64",
    month = "September",
    year = "2006",
    doi = "https://doi.org/10.1109/SCW.2006.8  ",
    isbn = "0-7695-2681-0",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110216-140704666",
}
@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",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/22175,
    title ="Enterprise Computing Systems as Information Factories",
    author = "Chandy, K. Mani and Tian, Lu and Zimmerman, Daniel M.",
    
    
    
    pages = "427-432",
    month = "January",
    year = "2006",
    
    isbn = "0-7695-2558-X",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110214-130828975",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/24581,
    title ="Resource Allocation in Streaming Environments",
    author = "Tian, Lu and Chandy, K. Mani",
    
    
    
    pages = "270-277",
    month = "January",
    year = "2006",
    
    isbn = "978-1-4244-0343-1",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110728-110708162",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/22404,
    title ="Snapshot Processing in Streaming Environments",
    author = "Zimmerman, Daniel M. and Chandy, K. Mani",
    
    
    
    pages = "319-320",
    month = "January",
    year = "2006",
    
    isbn = "978-1-4244-0343-1",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110222-093942206",
}
@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",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/98341,
    title ="Specification transformers: a predicate transformer approach to composition",
    author = "Charpentier, Michel and Chandy, K. Mani",
    journal = "Acta Informatica",
    volume = "40",
    number = "4",
    pages = "265-301",
    month = "February",
    year = "2004",
    doi = "https://doi.org/10.1007/s00236-003-0130-y",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190829-131532981",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/99808,
    title ="An Experiment in Program Composition and Proof",
    author = "Chandy, K. Mani and Charpentier, Michel",
    journal = "Formal Methods in System Design",
    volume = "20",
    number = "1",
    pages = "7-21",
    month = "January",
    year = "2002",
    doi = "https://doi.org/10.1023/a:1012952311559",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20191112-111040108",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/71518,
    title ="Micro-Option: A Method for Optimal Selection and Atomic Reservation of Distributed Resources in a Free Market Environment",
    author = "Ginis, Roman and Chandy, K. Mani",
    
    
    
    pages = "207-214",
    month = "October",
    year = "2000",
    
    isbn = "1-58113-272-7",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161026-164718354",
}
@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",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/99158,
    title ="Theorems about Composition",
    author = "Charpentier, Michel and Chandy, K. Mani",
    journal = "Lecture Notes in Computer Science",
    
    number = "1837",
    pages = "167-186",
    month = "January",
    year = "2000",
    doi = "https://doi.org/10.1007/10722010_12",
    isbn = "978-3-540-67727-7",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20191008-135116482",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/104386,
    title ="Towards a Compositional Approach to the Design and Verification of Distributed Systems",
    author = "Charpentier, Michel and Chandy, K. Mani",
    journal = "Lecture Notes in Computer Science",
    
    number = "1708",
    pages = "570-589",
    month = "September",
    year = "1999",
    doi = "https://doi.org/10.1007/3-540-48119-2_32",
    isbn = "978-3-540-66587-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200715-074133363",
}
@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",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/104363,
    title ="Examples of program composition illustrating the use of universal properties",
    author = "Charpentier, Michel and Chandy, K. Mani",
    journal = "Lecture Notes in Computer Science",
    
    number = "1586",
    pages = "1215-1227",
    month = "January",
    year = "1999",
    doi = "https://doi.org/10.1007/bfb0098004",
    isbn = "978-3-540-65831-3",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200713-150514979",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/76449,
    title ="Using announce-listen with global events to develop distributed control systems",
    author = "Chandy, K. Mani and Rifkin, Adam and Schooler, Eve",
    journal = "Concurrency and Computation: Practice and Experience",
    volume = "10",
    number = "11-13",
    pages = "1021-1027",
    month = "September",
    year = "1998",
    doi = "https://doi.org/10.1002/(SICI)1096-9128(199809/11)10:11/13<1021::AID-CPE411>3.0.CO;2-K",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170409-080717471",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/106720,
    title ="A Cottage industry of software publishing: Implications for theories of composition",
    author = "Chandy, K. Mani and Sivilotti, Paolo A. G. and Kiniry, Joseph R.",
    journal = "Lecture Notes in Computer Science",
    
    number = "1388",
    pages = "890-899",
    month = "January",
    year = "1998",
    doi = "https://doi.org/10.1007/3-540-64359-1_751",
    isbn = "9783540643593",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201118-085206383",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/46602,
    title ="Webs of Archived Distributed Computations for Asynchronous Collaboration",
    author = "Chandy, K. Mani and Kiniry, Joseph and Rifkin, Adam and Zimmerman, Daniel",
    journal = "Journal of Supercomputing",
    volume = "11",
    number = "2",
    pages = "101-118",
    month = "October",
    year = "1997",
    doi = "https://doi.org/10.1023/A:1007903821879",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140701-112530382",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/4352,
    title ="Systematic composition of distributed objects: Processes and sessions",
    author = "Chandy, K. Mani and Rifkin, Adam",
    journal = "Computer Journal",
    volume = "40",
    number = "8",
    pages = "465-478",
    month = "August",
    year = "1997",
    
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:CHAcj97",
}
@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",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/46607,
    title ="Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions",
    author = "Chandy, K. Mani and Rifkin, Adam",
    journal = "Proceedings of the Annual Hawaii International Conference on System Sciences",
    volume = "1",
    
    pages = "395-404",
    month = "January",
    year = "1997",
    doi = "https://doi.org/10.1109/HICSS.1997.667288",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140701-135237680",
}
@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",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/78865,
    title ="Program Composition Notation",
    author = "Chandy, K. Mani and Taylor, Stephen",
    
    
    number = "6",
    pages = "263-295",
    month = "January",
    year = "1992",
    doi = "https://doi.org/10.1016/B978-0-444-88135-9.50012-7",
    isbn = "978-0-444-88135-9",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170707-135456200",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/66579,
    title ="A Unifying Framework Distributed Simulation",
    author = "Bagrodia, R. and Chandy, K. M. and Liao, Wen Toh",
    journal = "ACM Transactions on Modeling and Computer Simulation (TOMACS)",
    volume = "1",
    number = "4",
    pages = "348-385",
    month = "October",
    year = "1991",
    doi = "https://doi.org/10.1145/130611.130614",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160502-095026188",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/66532,
    title ="UC: a language for the connection machine",
    author = "Bagrodia, R. and Chandy, K. M. and Kwan, E.",
    
    
    
    pages = "525-534",
    month = "November",
    year = "1990",
    
    isbn = "0-8186-2056-0",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160428-161906926",
}
@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",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/69785,
    title ="The Composition of Concurrent Programs",
    author = "Chandy, K. Mani and Taylor, Stephen",
    
    
    
    pages = "557-561",
    month = "November",
    year = "1989",
    
    isbn = "0-89791-341-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160819-105930876",
}
@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",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92258,
    title ="How processes learn",
    author = "Chandy, K. Mani and Misra, Jayadev",
    
    
    
    pages = "204-214",
    month = "August",
    year = "1985",
    doi = "https://doi.org/10.1145/323596.323615",
    isbn = "0-89791-168-7",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-143721404",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/41468,
    title ="Distributed Snapshots: Determining Global States of a Distributed System",
    author = "Chandy, K. Mani and Lamport, Leslie",
    journal = "ACM Transactions on Computer Systems",
    volume = "3",
    number = "1",
    pages = "63-75",
    month = "February",
    year = "1985",
    doi = "https://doi.org/10.1145/214451.214456",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20130923-092736838",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/478,
    title ="The MVA Priority Approximation",
    author = "Bryant, Raymond M. and Krzesinski, Anthony E. and Lakshmi, M. Seetha and Chandy, K. Mani",
    journal = "ACM Transactions on Computer Systems",
    volume = "2",
    number = "4",
    pages = "335-359",
    month = "November",
    year = "1984",
    
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:BRYacmtcs84",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92227,
    title ="The drinking philosophers problem",
    author = "Chandy, K. M. and Misra, J.",
    journal = "ACM Transactions on Programming Languages and Systems (TOPLAS)",
    volume = "6",
    number = "4",
    pages = "632-646",
    month = "October",
    year = "1984",
    doi = "https://doi.org/10.1145/1780.1804",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-153432743",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92259,
    title ="Performance models of token ring local area networks",
    author = "Berry, Robert and Chandy, K. Mani",
    
    
    
    pages = "266-274",
    month = "August",
    year = "1983",
    doi = "https://doi.org/10.1145/800040.801414",
    isbn = "0-89791-112-1",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-150422670",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92228,
    title ="Distributed deadlock detection",
    author = "Chandy, K. Mani and Misra, Jayadev and Haas, Laura M.",
    journal = "ACM Transactions on Computer Systems",
    volume = "1",
    number = "2",
    pages = "144-156",
    month = "May",
    year = "1983",
    doi = "https://doi.org/10.1145/357360.357365",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-154120345",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92224,
    title ="A Characterization of Product-Form Queuing Networks",
    author = "Chandy, K. M. and Martin, A. J.",
    journal = "Journal of the ACM",
    volume = "30",
    number = "2",
    pages = "286-299",
    month = "April",
    year = "1983",
    doi = "https://doi.org/10.1145/322374.322378",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-145202534",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92256,
    title ="HAM: the heuristic aggregation method for solving general closed queueing network models of computer systems  ",
    author = "Neuse, Doug and Chandy, K. Mani",
    journal = "ACM SIGMETRICS Performance Evaluation Review",
    volume = "11",
    number = "4",
    pages = "195-212",
    month = "December",
    year = "1982",
    doi = "https://doi.org/10.1145/1035293.1035322",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-142130380",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92211,
    title ="Distributed computation on graphs: shortest path algorithms",
    author = "Chandy, K. M. and Misra, J.",
    journal = "Communications of the ACM",
    volume = "25",
    number = "11",
    pages = "833-837",
    month = "November",
    year = "1982",
    doi = "https://doi.org/10.1145/358690.358717",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-085547749",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92205,
    title ="A Distributed Graph Algorithm: Knot Detection",
    author = "Misra, J. and Chandy, K. M.",
    journal = "ACM Transactions on Programming Languages and Systems (TOPLAS)",
    volume = "4",
    number = "4",
    pages = "678-686",
    month = "October",
    year = "1982",
    
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190110-150349106",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92220,
    title ="A distributed algorithm for detecting resource deadlocks in distributed systems",
    author = "Chandy, K. M. and Misra, J.",
    
    
    
    pages = "157-164",
    month = "August",
    year = "1982",
    doi = "https://doi.org/10.1145/800220.806693",
    isbn = "0-89791-081-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-135906881",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92222,
    title ="Proving safety and liveness of communicating processes with examples",
    author = "Misra, J. and Chandy, K. M. and Smith, Todd",
    
    
    
    pages = "201-208",
    month = "August",
    year = "1982",
    doi = "https://doi.org/10.1145/800220.806698",
    isbn = "0-89791-081-8",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-143826562",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92225,
    title ="The use of performance models in systematic design",
    author = "Chandy, K. M. and Misra, J. and Berry, R. and Neuse, D.",
    
    
    number = "51",
    pages = "251-256",
    month = "June",
    year = "1982",
    doi = "https://doi.org/10.1145/1500774.1500804",
    isbn = "0-88283-035-X",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-145728422",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92250,
    title ="Linearizer: a heuristic algorithm for queueing network models of computing systems",
    author = "Chandy, K. Mani and Neuse, Doug",
    journal = "Communications of the ACM",
    volume = "25",
    number = "2",
    pages = "126-134",
    month = "February",
    year = "1982",
    doi = "https://doi.org/10.1145/358396.358403",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-104059640",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92217,
    title ="Termination Detection of Diffusing Computations in Communicating Sequential Processes",
    author = "Misra, Jayadev and Chandy, K. M.",
    journal = "ACM Transactions on Programming Languages and Systems (TOPLAS)",
    volume = "4",
    number = "1",
    pages = "37-43",
    month = "January",
    year = "1982",
    doi = "https://doi.org/10.1145/357153.357156",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-133115677",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92223,
    title ="SCAT: A heuristic algorithm for queueing network models of computing systems",
    author = "Neuse, D. and Chandy, K.",
    journal = "ACM SIGMETRICS Performance Evaluation Review",
    volume = "10",
    number = "3",
    pages = "59-79",
    month = "September",
    year = "1981",
    doi = "https://doi.org/10.1145/1010629.805476",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-144627224",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92257,
    title ="Asynchronous distributed simulation via a sequence of parallel computations",
    author = "Chandy, K. M. and Misra, J.",
    journal = "Communications of the ACM",
    volume = "24",
    number = "4",
    pages = "198-206",
    month = "April",
    year = "1981",
    doi = "https://doi.org/10.1145/358598.358613",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-142711979",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92262,
    title ="Computational algorithms for product form queueing networks",
    author = "Chandy, K. Mani and Sauer, Charles H.",
    journal = "Communications of the ACM",
    volume = "23",
    number = "10",
    pages = "573-583",
    month = "October",
    year = "1980",
    doi = "https://doi.org/10.1145/359015.359020",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-151918151",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92210,
    title ="A simple model of distributed programs based on implementation-hiding and process autonomy",
    author = "Chandy, K. M. and Misra, J.",
    journal = "ACM SIGPLAN Notices",
    volume = "15",
    number = "7-8",
    pages = "26-35",
    month = "July",
    year = "1980",
    doi = "https://doi.org/10.1145/947680.947681",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-083035370",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92196,
    title ="Computational algorithms for product form queueing networks",
    author = "Chandy, K. Mani and Sauer, Charles H.",
    journal = "ACM SIGMETRICS Performance Evaluation Review",
    volume = "9",
    number = "2",
    pages = "1",
    month = "June",
    year = "1980",
    doi = "https://doi.org/10.1145/800199.806144",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190110-110914947",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92249,
    title ="A modeling approach and design tool for pipelined central processors",
    author = "Lang, D. E. and Agerwala, T. K. and Chandy, K. M.",
    
    
    
    pages = "122-129",
    month = "April",
    year = "1979",
    doi = "https://doi.org/10.1145/800090.802901",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-100604653",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92216,
    title ="The impact of distributions and disciplines on multiple processor systems",
    author = "Sauer, Charles H. and Chandy, K. Mani",
    journal = "Communications of the ACM",
    volume = "22",
    number = "1",
    pages = "25-34",
    month = "January",
    year = "1979",
    doi = "https://doi.org/10.1145/359046.359053",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-105904204",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92232,
    title ="Models for parallel processing within programs: application to CPU: I/O and I/O: I/O overlap",
    author = "Towsley, D. and Chandy, K. M. and Browne, J. C.",
    journal = "Communications of the ACM",
    volume = "21",
    number = "10",
    pages = "821-831",
    month = "October",
    year = "1978",
    doi = "https://doi.org/10.1145/359619.359622",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-161030053",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92230,
    title ="Approximate Methods for Analyzing Queueing Network Models of Computing Systems",
    author = "Chandy, K. Mani and Sauer, Charles H.",
    journal = "ACM Computing Surveys",
    volume = "10",
    number = "3",
    pages = "281-317",
    month = "September",
    year = "1978",
    doi = "https://doi.org/10.1145/356733.356737",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-155805180",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92167,
    title ="Product Form and Local Balance in Queueing Networks",
    author = "Chandy, K. Mani and Howard, John H. and Towsley, Donald F.",
    journal = "Journal of the ACM",
    volume = "24",
    number = "2",
    pages = "250-263",
    month = "April",
    year = "1977",
    doi = "https://doi.org/10.1145/322003.322009",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190109-110649524",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92172,
    title ="Memory management and response time",
    author = "Brown, R. M. and Browne, J. C. and Chandy, K. M.",
    journal = "Communications of the ACM",
    volume = "20",
    number = "3",
    pages = "153-165",
    month = "March",
    year = "1977",
    doi = "https://doi.org/10.1145/359436.359443",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190109-124527286",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92229,
    title ="Bayesian models of design based on intuition",
    author = "Chandy, K. M.",
    
    
    
    pages = "281-285",
    month = "October",
    year = "1976",
    
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-154850666",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92197,
    title ="File allocation in distributed systems",
    author = "Chandy, K. M. and Hewes, J. E.",
    
    
    
    pages = "10-13",
    month = "March",
    year = "1976",
    doi = "https://doi.org/10.1145/800200.806177",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190110-112538692",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92251,
    title ="Scheduling partially ordered tasks with probabilistic execution times",
    author = "Chandy, K. M. and Reynolds, P. F.",
    journal = "ACM SIGOPS Operating Systems Review",
    volume = "9",
    number = "5",
    pages = "169-177",
    month = "November",
    year = "1975",
    doi = "https://doi.org/10.1145/800213.806534",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-104559390",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92221,
    title ="Open, Closed, and Mixed Networks of Queues with Different Classes of Customers",
    author = "Baskett, Forest and Chandy, K. Mani and Muntz, Richard R. and Palacios, Fernando G.",
    journal = "Journal of the ACM",
    volume = "22",
    number = "2",
    pages = "248-260",
    month = "April",
    year = "1975",
    doi = "https://doi.org/10.1145/321879.321887",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-140309634",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92231,
    title ="A comparison of list schedules for parallel processing systems",
    author = "Adam, Thomas L. and Chandy, K. M. and Dickson, J. R.",
    journal = "Communications of the ACM",
    volume = "17",
    number = "12",
    pages = "685-690",
    month = "December",
    year = "1974",
    doi = "https://doi.org/10.1145/361604.361619",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-160504256",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92219,
    title ="A framework for hardware-software tradeoffs in the design of fault-tolerant computers",
    author = "Chandy, K. M. and Ramamoorthy, C. V. and Cowan, A.",
    
    
    
    pages = "55-63",
    month = "December",
    year = "1972",
    doi = "https://doi.org/10.1145/1479992.1480000",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-135122887",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92260,
    title ="Design automation and queueing networks: An interactive system for the evaluation of computer queueing models",
    author = "Chandy, K. M. and Keller, T. W. and Browne, J. C.",
    
    
    
    pages = "357-367",
    month = "June",
    year = "1972",
    doi = "https://doi.org/10.1145/800153.804968",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-150905455",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92206,
    title ="Optimization of Memory Hierarchies in Multiprogrammed Systems",
    author = "Ramamoorthy, C. V. and Chandy, K. M.",
    journal = "Journal of the ACM",
    volume = "17",
    number = "3",
    pages = "426-445",
    month = "July",
    year = "1970",
    
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190110-155953410",
}