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


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


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


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-31,
    title = "A Deterministic Notation for Cooperating Processes",
    year = "2001",
    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-01,
    title = "CC++: A Declarative Concurrent Object Oriented Programming Notation",
    year = "2001",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-01",
    id = "record",
    doi = "10.7907/Z96M34V8"
}


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


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-08,
    title = "A World-Wide Distributed System Using Java and the Internet",
    year = "2001",
    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",
    year = "2001",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-11",
    id = "record",
    doi = "10.7907/Z9P55KHS"
}


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


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


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


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


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


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


@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-07,
    title = "A Framework for Structured Distributed Object Computing",
    year = "2001",
    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-15,
    title = "Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions",
    year = "2001",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-15",
    id = "record",
    doi = "10.7907/Z9JD4TTH"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-08,
    title = "Integrating Task and Data Parallelism with the Collective Communication Archetype",
    year = "2001",
    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-19,
    title = "Designing Directories in Distributed Systems: A Systematic Framework",
    year = "2001",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-19",
    id = "record",
    doi = "10.7907/Z9736NXN"
}


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


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


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


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-29,
    title = "Conjunctive Predicate Transformers for Reasoning about Concurrent Computation",
    year = "2001",
    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",
    year = "2001",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-24",
    id = "record",
    doi = "10.7907/Z9ZS2TJP"
}


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


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


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


@other{https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-05,
    title = "The Essence of Distributed Snapshots",
    year = "1989",
    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-06,
    title = "Theorems on Computations of Distributed Systems",
    year = "1988",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-06",
    id = "record",
    doi = "10.7907/k0wav-gz192"
}


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


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