@other{https://resolver.caltech.edu/CaltechAUTHORS:20220518-205134775,
    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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220518-205134775",
    id = "record"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20211209-231200000,
    title = "Ground motions in urban Los Angeles from the 2019 Ridgecrest earthquake sequence",
    journal = "Earthquake Spectra",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20211209-231200000",
    id = "record",
    issn = "8755-2930",
    doi = "10.1177/87552930211003916",
    volume = "37"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20210107-103141484,
    title = "2019 Ridgecrest Earthquake Reveals Areas of Los Angeles That Amplify Shaking of High-Rises",
    journal = "Seismological Research Letters",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210107-103141484",
    id = "record",
    issn = "0895-0695",
    doi = "10.1785/0220200170",
    volume = "91"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20191115-160214215,
    title = "CSN-LAUSD Network: A Dense Accelerometer Network in Los Angeles Schools",
    journal = "Seismological Research Letters",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20191115-160214215",
    id = "record",
    issn = "0895-0695",
    doi = "10.1785/0220190200",
    volume = "91"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190109-091547583,
    title = "Proceedings of the 20th International Conference on Distributed Computing and Networking (ICDCN '19)",
    chapter = "Compositional structures for streaming applications",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190109-091547583",
    id = "record",
    isbn = "978-1-4503-6094-4",
    doi = "10.1145/3288599.3288642"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20180713-133233514,
    title = "Community seismic network and localized earthquake situational awareness",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180713-133233514",
    id = "record"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20180516-142716986,
    title = "Proceedings of the 2017 Winter Simulation Conference",
    chapter = "Parallel discrete event simulation: The making of a field",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180516-142716986",
    id = "record",
    isbn = "978-1-5386-3428-8",
    doi = "10.1109/WSC.2017.8247793"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20170127-163202195,
    title = "Dense Building Instrumentation Application for City-Wide Structural Health Monitoring",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170127-163202195",
    id = "record"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20160705-133353269,
    title = "Downtown Los Angeles 52-Story High-Rise and Free-Field Response to an Oil Refinery Explosion",
    journal = "Earthquake Spectra",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160705-133353269",
    id = "record",
    issn = "8755-2930",
    doi = "10.1193/062315EQS101M",
    volume = "32"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170110-151419016,
    title = "DEBS '16 Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems",
    chapter = "Theory and implementation of a distributed event based platform",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170110-151419016",
    id = "record",
    isbn = "978-1-4503-4021-2",
    doi = "10.1145/2933267.2940321"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170810-100823060,
    title = "Quadratically Constrained Quadratic Programs on Acyclic Graphs With Application to Power Flow",
    journal = "IEEE Transactions on Control of Network Systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170810-100823060",
    id = "record",
    issn = "2325-5870",
    doi = "10.1109/TCNS.2015.2401172",
    volume = "2"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20151012-154950185,
    title = "Community Seismic Network: A Dense Array to Sense Earthquake Strong Motion",
    journal = "Seismological Research Letters",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20151012-154950185",
    id = "record",
    issn = "0895-0695",
    doi = "10.1785/0220150094",
    volume = "86"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20151012-145047466,
    title = "2015 IEEE Power \& Energy Society General Meeting",
    chapter = "A model for residential adoption of photovoltaic systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20151012-145047466",
    id = "record",
    isbn = "978-1-4673-8040-9",
    doi = "10.1109/PESGM.2015.7286226"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20140819-131736568,
    title = "Community Sense and Response Systems: Your Phone as Quake Detector",
    journal = "Communications of the ACM",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140819-131736568",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/2622633",
    volume = "57"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20140811-131704662,
    title = "The Caltech CSN project collects sensor data from thousands of personal devices for realtime response to dangerous earthquakes",
    journal = "Communications of the ACM",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140811-131704662",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/2622633",
    volume = "57"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20150501-091249022,
    title = "48th Annual Conference on Information Sciences and Systems (CISS)",
    chapter = "Solving quadratically constrained quadratic programs on acyclic graphs with application to optimal power flow",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150501-091249022",
    id = "record",
    isbn = "978-1-4799-3001-2",
    doi = "10.1109/CISS.2014.6814135"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20131213-111904382,
    title = "Impact of residential PV adoption on Retail Electricity Rates",
    journal = "Energy Policy",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20131213-111904382",
    id = "record",
    issn = "0301-4215",
    doi = "10.1016/j.enpol.2013.07.009",
    volume = "62"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20131220-110930033,
    title = "51st IEEE Conference on Decision and Control",
    chapter = "Optimal placement of energy storage in the grid",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20131220-110930033",
    id = "record",
    isbn = "978-1-4673-2065-8",
    doi = "10.1109/CDC.2012.6426113"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20130731-091844876,
    title = "2012 50th Annual Allerton Conference on Communication, Control, and Computing",
    chapter = "Equivalence of Branch Flow and Bus Injection Models",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20130731-091844876",
    id = "record",
    isbn = "978-1-4673-4537-8",
    doi = "10.1109/Allerton.2012.6483453"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20131010-162127988,
    title = "Grid 2020: Towards a Policy of Renewable and Distributed Energy Resources",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20131010-162127988",
    id = "record"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20120816-143912724,
    title = "Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems",
    chapter = "Towards a Discipline of Geospatial Distributed Event Based Systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120816-143912724",
    id = "record",
    isbn = "978-1-4503-1315-5",
    doi = "10.1145/2335484.2335495"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170810-100855433,
    title = "2011 50th IEEE Conference on Decision and Control and European Control Conference",
    chapter = "Optimal contract for wind power in day-ahead electricity markets",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170810-100855433",
    id = "record",
    isbn = "978-1-61284-800-6",
    doi = "10.1109/CDC.2011.6161253"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170810-125833627,
    title = "2011 IEEE International Conference on Smart Grid Communications",
    chapter = "Optimal design of hybrid energy system with PV/wind turbine/storage: A case study",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170810-125833627",
    id = "record",
    isbn = "978-1-4577-1704-8",
    doi = "10.1109/SmartGridComm.2011.6102376"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170215-173725326,
    title = "2011 IEEE International Conference on Smart Grid Communications (SmartGridComm)",
    chapter = "GRIP - Grids with intelligent periphery: Control architectures for Grid2050^π",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170215-173725326",
    id = "record",
    isbn = "978-1-4577-1702-4",
    doi = "10.1109/SmartGridComm.2011.6102397"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170810-112707612,
    title = "2011 IEEE International Conference on Smart Grid Communications",
    chapter = "Inverter VAR control for distribution systems with renewables",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170810-112707612",
    id = "record",
    isbn = "978-1-4577-1704-8",
    doi = "10.1109/SmartGridComm.2011.6102366"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170810-095656194,
    title = "2011 49th Annual Allerton Conference on Communication, Control, and Computing (Allerton)",
    chapter = "Optimal power flow over tree networks",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170810-095656194",
    id = "record",
    isbn = "978-1-4577-1817-5",
    doi = "10.1109/Allerton.2011.6120323"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20110929-135751977,
    title = "Verification of distributed systems with local–global predicates",
    journal = "Formal Aspects of Computing",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110929-135751977",
    id = "record",
    issn = "0934-5043",
    doi = "10.1007/s00165-010-0150-7",
    volume = "23"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20120521-104906176,
    title = "Proceedings of the 5th ACM international conference on Distributed event-based system",
    chapter = "Rapid detection of rare geospatial events: earthquake warning applications",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120521-104906176",
    id = "record",
    isbn = "978-1-4503-0423-8",
    doi = "10.1145/2002259.2002276"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20120522-090842007,
    title = "Proceedings of the 5th ACM international conference on Distributed event-based system",
    chapter = "Tutorial: Event processing grand challenges",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120522-090842007",
    id = "record",
    isbn = "978-1-4503-0423-8",
    doi = "10.1145/2002259.2002308"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170306-172704069,
    title = "Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks",
    chapter = "The next big one: Detecting earthquakes and other rare events from community-based sensors",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170306-172704069",
    id = "record",
    isbn = "978-1-61284-854-9"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170306-172057582,
    title = "Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks",
    chapter = "Demo abstract, the next big one: Detecting earthquakes and other rare events from community-based sensors",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170306-172057582",
    id = "record",
    isbn = "978-1-61284-854-9"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170208-175923694,
    title = "Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks",
    chapter = "Sensor networks for the detection and tracking of radiation and other threats in cities",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170208-175923694",
    id = "record",
    isbn = "978-1-61284-854-9"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20120213-121753118,
    title = "Community Seismic Network",
    journal = "Annals of Geophysics",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120213-121753118",
    id = "record",
    issn = "1593-5213",
    doi = "10.4401/ag-5269",
    volume = "54"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170810-102952651,
    title = "49th IEEE Conference on Decision and Control (CDC)",
    chapter = "A simple optimal power flow model with energy storage",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170810-102952651",
    id = "record",
    isbn = "978-1-4244-7745-6",
    doi = "10.1109/CDC.2010.5718193"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170314-151537459,
    title = "48th Annual Allerton Conference on Communication, Control, and Computing (Allerton)",
    chapter = "Load-shedding probabilities with hybrid renewable power generation and energy storage",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170314-151537459",
    id = "record",
    isbn = "978-1-4244-8216-0",
    doi = "10.1109/ALLERTON.2010.5706912"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170309-150535053,
    title = "The Impact of Sense and Response Systems",
    journal = "IEEE Internet Computing",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170309-150535053",
    id = "record",
    issn = "1089-7801",
    doi = "10.1109/MIC.2010.12",
    volume = "14"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20110407-094212599,
    title = "The Impact of Sense and Respond Systems",
    journal = "IEEE Internet Computing",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110407-094212599",
    id = "record",
    issn = "1089-7801",
    doi = "10.1109/MIC.20",
    volume = "14"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20100202-112121782,
    title = "Internet Predictions",
    journal = "IEEE Internet Computing",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100202-112121782",
    id = "record",
    issn = "1089-7801",
    doi = "10.1109/MIC.2010.12",
    volume = "14"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20200225-075817665,
    title = "Formal Modeling and Analysis of Timed Systems",
    chapter = "Convergence Verification: From Shared Memory to Partially Synchronous Systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200225-075817665",
    id = "record",
    isbn = "978-3-540-85777-8",
    doi = "10.1007/978-3-540-85778-5\_16"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20180809-133557629,
    title = "Theorem Proving in Higher Order Logics",
    chapter = "A Formalized Theory for Verifying Stability and Convergence of Automata in PVS",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180809-133557629",
    id = "record",
    isbn = "9783540710653",
    doi = "10.1007/978-3-540-71067-7\_20"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170410-170440324,
    title = "5th International Conference on Networked Sensing Systems",
    chapter = "Networked sensing systems for detecting people carrying radioactive material",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170410-170440324",
    id = "record",
    isbn = "978-4-907764-31-9",
    doi = "10.1109/INSS.2008.4610916"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20160819-102210819,
    title = "SIGMOD '07 Proceedings of the 2007 ACM SIGMOD international conference on Management of data",
    chapter = "Event processing using database technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160819-102210819",
    id = "record",
    isbn = "978-1-59593-686-8",
    doi = "10.1145/1247480.1247645"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170424-152222673,
    title = "27th International Conference on Distributed Computing Systems : Toronto, Canada 25-27 June 2007",
    chapter = "Self-Similar Algorithms for Dynamic Distributed Systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170424-152222673",
    id = "record",
    isbn = "9780769528373",
    doi = "10.1109/ICDCS.2007.137"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190111-161531182,
    title = "Proceedings of the 2007 inaugural international conference on Distributed event-based systems",
    chapter = "Towards a theory of events",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-161531182",
    id = "record",
    isbn = "978-1-59593-665-3",
    doi = "10.1145/1266894.1266929"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110216-140704666,
    title = "SCW 2006: IEEE Services Computing Workshops",
    chapter = "Control-based Scheduling in a Distributed Stream Processing System",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110216-140704666",
    id = "record",
    isbn = "0-7695-2681-0",
    doi = "10.1109/SCW.2006.8"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2006.002,
    title = "Predicate Signaling in Distributed Sensor Networks",
    url = "https://resolver.caltech.edu/CaltechCSTR:2006.002",
    id = "record",
    doi = "10.7907/Z9Z899D5"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110214-130828975,
    title = "10th IEEE International Enterprise Distributed Object Computing Conference proceedings",
    chapter = "Enterprise Computing Systems as Information Factories",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110214-130828975",
    id = "record",
    isbn = "0-7695-2558-X",
    doi = "10.1109/EDOC.2006.24"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110728-110708162,
    title = "2006 7th IEEE/ACM International Conference on Grid Computing",
    chapter = "Resource Allocation in Streaming Environments",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110728-110708162",
    id = "record",
    isbn = "978-1-4244-0343-1",
    doi = "10.1109/ICGRID.2006.311025"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110222-093942206,
    title = "2006 7th IEEE/ACM International Conference on Grid Computing",
    chapter = "Snapshot Processing in Streaming Environments",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110222-093942206",
    id = "record",
    isbn = "978-1-4244-0343-1",
    doi = "10.1109/ICGRID.2006.311038"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2005.004,
    title = "Stream Processing Algorithms that model behavior changes",
    url = "https://resolver.caltech.edu/CaltechCSTR:2005.004",
    id = "record",
    doi = "10.7907/Z99K487T"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190829-131532981,
    title = "Specification transformers: a predicate transformer approach to composition",
    journal = "Acta Informatica",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190829-131532981",
    id = "record",
    issn = "0001-5903",
    doi = "10.1007/s00236-003-0130-y",
    volume = "40"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20191112-111040108,
    title = "An Experiment in Program Composition and Proof",
    journal = "Formal Methods in System Design",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20191112-111040108",
    id = "record",
    issn = "0925-9856",
    doi = "10.1023/a:1012952311559",
    volume = "20"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-31,
    title = "A Deterministic Notation for Cooperating Processes",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-31",
    id = "record",
    doi = "10.7907/Z9B85664"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-02,
    title = "The Compositional C++ Language Definition",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-02",
    id = "record",
    doi = "10.7907/Z9QF8QWK"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-01,
    title = "CC++: A Declarative Concurrent Object Oriented Programming Notation",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-01",
    id = "record",
    doi = "10.7907/Z96M34V8"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-15,
    title = "Mach-Based Channel Library",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-15",
    id = "record",
    doi = "10.7907/Z9SJ1HMH"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-08,
    title = "A World-Wide Distributed System Using Java and the Internet",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-08",
    id = "record",
    doi = "10.7907/Z98W3BBD"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-11,
    title = "Reliable Synchronization Primitives for Java",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-11",
    id = "record",
    doi = "10.7907/Z9P55KHS"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-02,
    title = "Using Triples to Reason About Concurrent Programs",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-02",
    id = "record",
    doi = "10.7907/Z94Q7S2R"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-02,
    title = "Towards a Compositional Approach to the Design and Verification of Distributed Systems",
    url = "https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-02",
    id = "record",
    doi = "10.7907/Z93R0QW2"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-01,
    title = "Examples of Program Composition Illustrating the Use of Universal Properties",
    url = "https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-01",
    id = "record",
    doi = "10.7907/Z9ZC80WC"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-19,
    title = "A General Resource Reservation Framework for Scientific Computing",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-19",
    id = "record",
    doi = "10.7907/Z9DZ06BJ"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-10,
    title = "Webs of Archived Distributed Computations for Asynchronous Collaboration",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-10",
    id = "record",
    doi = "10.7907/Z9R78C75"
}


@other{https://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-02,
    title = "Theorems about Composition",
    url = "https://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-02",
    id = "record",
    doi = "10.7907/Z9BK19C6"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-13,
    title = "Compositional C++: Compositional Parallel Programming",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-13",
    id = "record",
    doi = "10.7907/Z94F1NX8"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-08,
    title = "Integrating Task and Data Parallelism with the Collective Communication Archetype",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-08",
    id = "record",
    doi = "10.7907/Z9222RSP"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-15,
    title = "Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-15",
    id = "record",
    doi = "10.7907/Z9JD4TTH"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-07,
    title = "A Framework for Structured Distributed Object Computing",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-07",
    id = "record",
    doi = "10.7907/Z9JQ0Z2W"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-19,
    title = "Designing Directories in Distributed Systems: A Systematic Framework",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-19",
    id = "record",
    doi = "10.7907/Z9736NXN"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-29,
    title = "Conjunctive Predicate Transformers for Reasoning about Concurrent Computation",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-29",
    id = "record",
    doi = "10.7907/0ztwa-hva90"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-24,
    title = "Properties of Concurrent Programs",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-24",
    id = "record",
    doi = "10.7907/Z9ZS2TJP"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-18,
    title = "The Derivation of Compositional Programs",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-18",
    id = "record",
    doi = "10.7907/Z9GQ6VZZ"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20161026-164718354,
    title = "EC '00 Proceedings of the 2nd ACM conference on Electronic commerce",
    chapter = "Micro-Option: A Method for Optimal Selection and Atomic Reservation of Distributed Resources in a Free Market Environment",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161026-164718354",
    id = "record",
    isbn = "1-58113-272-7",
    doi = "10.1145/352871.352894"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20191008-135116482,
    title = "Mathematics of Program Construction",
    chapter = "Theorems about Composition",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20191008-135116482",
    id = "record",
    isbn = "978-3-540-67727-7",
    doi = "10.1007/10722010\_12"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20200715-074133363,
    title = "FM'99 — Formal Methods",
    chapter = "Towards a Compositional Approach to the Design and Verification of Distributed Systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200715-074133363",
    id = "record",
    isbn = "978-3-540-66587-8",
    doi = "10.1007/3-540-48119-2\_32"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20200713-150514979,
    title = "Parallel and Distributed Processing",
    chapter = "Examples of program composition illustrating the use of universal properties",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200713-150514979",
    id = "record",
    isbn = "978-3-540-65831-3",
    doi = "10.1007/bfb0098004"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170409-080717471,
    title = "Using announce-listen with global events to develop distributed control systems",
    journal = "Concurrency and Computation: Practice and Experience",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170409-080717471",
    id = "record",
    issn = "1532-0626",
    doi = "10.1002/(SICI)1096-9128(199809/11)10:11/13\%3C1021::AID-CPE411\%3E3.0.CO;2-K",
    volume = "10"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20201118-085206383,
    title = "Parallel and Distributed Processing",
    chapter = "A Cottage industry of software publishing: Implications for theories of composition",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201118-085206383",
    id = "record",
    isbn = "9783540643593",
    doi = "10.1007/3-540-64359-1\_751"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20140701-112530382,
    title = "Webs of Archived Distributed Computations for Asynchronous Collaboration",
    journal = "Journal of Supercomputing",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140701-112530382",
    id = "record",
    issn = "0920-8542",
    doi = "10.1023/A:1007903821879",
    volume = "11"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:CHAcj97,
    title = "Systematic composition of distributed objects: Processes and sessions",
    journal = "Computer Journal",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:CHAcj97",
    id = "record",
    issn = "0010-4620",
    doi = "10.1093/comjnl/40.8.465",
    volume = "40"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-96-28,
    title = "Parallel Program Archetypes",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-96-28",
    id = "record",
    doi = "10.7907/Z9WW7FP7"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20140701-135237680,
    title = "Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions",
    journal = "Proceedings of the Annual Hawaii International Conference on System Sciences",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140701-135237680",
    id = "record",
    issn = "1060-3425",
    doi = "10.1109/HICSS.1997.667288",
    volume = "1"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170707-135456200,
    title = "A Comparative Study of Parallel Programming Languages: the Salishan Problems",
    chapter = "Program Composition Notation",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170707-135456200",
    id = "record",
    isbn = "978-0-444-88135-9",
    doi = "10.1016/B978-0-444-88135-9.50012-7"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20160502-095026188,
    title = "A Unifying Framework Distributed Simulation",
    journal = "ACM Transactions on Modeling and Computer Simulation (TOMACS)",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160502-095026188",
    id = "record",
    issn = "1049-3301",
    doi = "10.1145/130611.130614",
    volume = "1"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20160428-161906926,
    title = "Proceedings of Supercomputing '90",
    chapter = "UC: a language for the connection machine",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160428-161906926",
    id = "record",
    isbn = "0-8186-2056-0",
    doi = "10.1109/SUPERC.1990.130064"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-10,
    title = "A Primer for Program Composition Notation",
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-10",
    id = "record",
    doi = "10.7907/0779e-dms14"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-03,
    title = "The Program Composition Project",
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-03",
    id = "record",
    doi = "10.7907/wemek-2ns55"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20160819-105930876,
    title = "Supercomputing '89 Proceedings of the 1989 ACM/IEEE conference on Supercomputing",
    chapter = "The Composition of Concurrent Programs",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160819-105930876",
    id = "record",
    isbn = "0-89791-341-8",
    doi = "10.1145/76263.76325"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-05,
    title = "The Essence of Distributed Snapshots",
    url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-05",
    id = "record",
    doi = "10.7907/jhr7a-4h585"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-16,
    title = "Programming Parallel Computers",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-16",
    id = "record",
    doi = "10.7907/hm444-6zc04"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-06,
    title = "Theorems on Computations of Distributed Systems",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-06",
    id = "record",
    doi = "10.7907/k0wav-gz192"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1987.5251-tr-87,
    title = "Conditional Knowledge as a Basis for Distributed Simulation",
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.5251-tr-87",
    id = "record",
    doi = "10.7907/de5ac-j4z29"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190114-143721404,
    title = "Proceedings of the fourth annual ACM symposium on Principles of distributed computing",
    chapter = "How processes learn",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-143721404",
    id = "record",
    isbn = "0-89791-168-7",
    doi = "10.1145/323596.323615"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20130923-092736838,
    title = "Distributed Snapshots: Determining Global States of a Distributed System",
    journal = "ACM Transactions on Computer Systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20130923-092736838",
    id = "record",
    issn = "0734-2071",
    doi = "10.1145/214451.214456",
    volume = "3"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:BRYacmtcs84,
    title = "The MVA Priority Approximation",
    journal = "ACM Transactions on Computer Systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:BRYacmtcs84",
    id = "record",
    issn = "0734-2071",
    volume = "2"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-153432743,
    title = "The drinking philosophers problem",
    journal = "ACM Transactions on Programming Languages and Systems (TOPLAS)",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-153432743",
    id = "record",
    issn = "0164-0925",
    doi = "10.1145/1780.1804",
    volume = "6"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190114-150422670,
    title = "Proceedings of the 1983 ACM SIGMETRICS conference on Measurement and modeling of computer systems",
    chapter = "Performance models of token ring local area networks",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-150422670",
    id = "record",
    isbn = "0-89791-112-1",
    doi = "10.1145/800040.801414"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-154120345,
    title = "Distributed deadlock detection",
    journal = "ACM Transactions on Computer Systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-154120345",
    id = "record",
    issn = "0734-2071",
    doi = "10.1145/357360.357365",
    volume = "1"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-145202534,
    title = "A Characterization of Product-Form Queuing Networks",
    journal = "Journal of the ACM",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-145202534",
    id = "record",
    issn = "0004-5411",
    doi = "10.1145/322374.322378",
    volume = "30"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190114-142130380,
    title = "HAM: the heuristic aggregation method for solving general closed queueing network models of computer systems",
    journal = "ACM SIGMETRICS Performance Evaluation Review",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-142130380",
    id = "record",
    issn = "0163-5999",
    doi = "10.1145/1035293.1035322",
    volume = "11"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-085547749,
    title = "Distributed computation on graphs: shortest path algorithms",
    journal = "Communications of the ACM",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-085547749",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/358690.358717",
    volume = "25"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190110-150349106,
    title = "A Distributed Graph Algorithm: Knot Detection",
    journal = "ACM Transactions on Programming Languages and Systems (TOPLAS)",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190110-150349106",
    id = "record",
    issn = "0164-0925",
    volume = "4"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190111-143826562,
    title = "Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing",
    chapter = "Proving safety and liveness of communicating processes with examples",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-143826562",
    id = "record",
    isbn = "0-89791-081-8",
    doi = "10.1145/800220.806698"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190111-135906881,
    title = "Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing",
    chapter = "A distributed algorithm for detecting resource deadlocks in distributed systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-135906881",
    id = "record",
    isbn = "0-89791-081-8",
    doi = "10.1145/800220.806693"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190111-145728422,
    title = "Proceedings of the 1982 national computer conference",
    chapter = "The use of performance models in systematic design",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-145728422",
    id = "record",
    isbn = "0-88283-035-X",
    doi = "10.1145/1500774.1500804"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190114-104059640,
    title = "Linearizer: a heuristic algorithm for queueing network models of computing systems",
    journal = "Communications of the ACM",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-104059640",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/358396.358403",
    volume = "25"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-133115677,
    title = "Termination Detection of Diffusing Computations in Communicating Sequential Processes",
    journal = "ACM Transactions on Programming Languages and Systems (TOPLAS)",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-133115677",
    id = "record",
    issn = "0164-0925",
    doi = "10.1145/357153.357156",
    volume = "4"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-144627224,
    title = "SCAT: A heuristic algorithm for queueing network models of computing systems",
    journal = "ACM SIGMETRICS Performance Evaluation Review",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-144627224",
    id = "record",
    issn = "0163-5999",
    doi = "10.1145/1010629.805476",
    volume = "10"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190114-142711979,
    title = "Asynchronous distributed simulation via a sequence of parallel computations",
    journal = "Communications of the ACM",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-142711979",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/358598.358613",
    volume = "24"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190114-151918151,
    title = "Computational algorithms for product form queueing networks",
    journal = "Communications of the ACM",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-151918151",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/359015.359020",
    volume = "23"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-083035370,
    title = "A simple model of distributed programs based on implementation-hiding and process autonomy",
    journal = "ACM SIGPLAN Notices",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-083035370",
    id = "record",
    issn = "0362-1340",
    doi = "10.1145/947680.947681",
    volume = "15"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190110-110914947,
    title = "Computational algorithms for product form queueing networks",
    journal = "ACM SIGMETRICS Performance Evaluation Review",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190110-110914947",
    id = "record",
    issn = "0163-5999",
    doi = "10.1145/800199.806144",
    volume = "9"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190114-100604653,
    chapter = "A modeling approach and design tool for pipelined central processors",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-100604653",
    id = "record",
    doi = "10.1145/800090.802901"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-105904204,
    title = "The impact of distributions and disciplines on multiple processor systems",
    journal = "Communications of the ACM",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-105904204",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/359046.359053",
    volume = "22"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-161030053,
    title = "Models for parallel processing within programs: application to CPU: I/O and I/O: I/O overlap",
    journal = "Communications of the ACM",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-161030053",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/359619.359622",
    volume = "21"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-155805180,
    title = "Approximate Methods for Analyzing Queueing Network Models of Computing Systems",
    journal = "ACM Computing Surveys",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-155805180",
    id = "record",
    issn = "0360-0300",
    doi = "10.1145/356733.356737",
    volume = "10"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190109-110649524,
    title = "Product Form and Local Balance in Queueing Networks",
    journal = "Journal of the ACM",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190109-110649524",
    id = "record",
    issn = "0004-5411",
    doi = "10.1145/322003.322009",
    volume = "24"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190109-124527286,
    title = "Memory management and response time",
    journal = "Communications of the ACM",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190109-124527286",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/359436.359443",
    volume = "20"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190111-154850666,
    chapter = "Bayesian models of design based on intuition",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-154850666",
    id = "record"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190110-112538692,
    chapter = "File allocation in distributed systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190110-112538692",
    id = "record",
    doi = "10.1145/800200.806177"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190114-104559390,
    title = "Scheduling partially ordered tasks with probabilistic execution times",
    journal = "ACM SIGOPS Operating Systems Review",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-104559390",
    id = "record",
    issn = "0163-5980",
    doi = "10.1145/800213.806534",
    volume = "9"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-140309634,
    title = "Open, Closed, and Mixed Networks of Queues with Different Classes of Customers",
    journal = "Journal of the ACM",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-140309634",
    id = "record",
    issn = "0004-5411",
    doi = "10.1145/321879.321887",
    volume = "22"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-160504256,
    title = "A comparison of list schedules for parallel processing systems",
    journal = "Communications of the ACM",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-160504256",
    id = "record",
    issn = "0001-0782",
    doi = "10.1145/361604.361619",
    volume = "17"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190111-135122887,
    chapter = "A framework for hardware-software tradeoffs in the design of fault-tolerant computers",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-135122887",
    id = "record",
    doi = "10.1145/1479992.1480000"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190114-150905455,
    chapter = "Design automation and queueing networks: An interactive system for the evaluation of computer queueing models",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190114-150905455",
    id = "record",
    doi = "10.1145/800153.804968"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190110-155953410,
    title = "Optimization of Memory Hierarchies in Multiprogrammed Systems",
    journal = "Journal of the ACM",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190110-155953410",
    id = "record",
    issn = "0004-5411",
    volume = "17"
}