[
    {
        "id": "thesis:6919",
        "collection": "thesis",
        "collection_id": "6919",
        "cite_using_url": "https://resolver.caltech.edu/CaltechTHESIS:04122012-114004175",
        "primary_object_url": {
            "basename": "Sivilotti_p_1993.pdf",
            "content": "final",
            "filesize": 666187,
            "license": "other",
            "mime_type": "application/pdf",
            "url": "/6919/1/Sivilotti_p_1993.pdf",
            "version": "v5.0.0"
        },
        "type": "thesis",
        "title": "A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language",
        "author": [
            {
                "family_name": "Sivilotti",
                "given_name": "Paul",
                "clpid": "Sivilotti-P"
            }
        ],
        "thesis_advisor": [
            {
                "family_name": "Chandy",
                "given_name": "K. Mani",
                "clpid": "Chandy-K-M"
            }
        ],
        "thesis_committee": [
            {
                "family_name": "Unknown",
                "given_name": "Unknown"
            }
        ],
        "local_group": [
            {
                "literal": "div_eng"
            }
        ],
        "abstract": "CC++ is a parallel object-oriented programming language that uses parallel composition, atomic functions, and single-assignment variables to express concurrency. We show that this programming paradigm is equivalent to several traditional imperative communication and synchronization models, namely: semaphores, monitors, and asynchronous channels. A collection of libraries which integrates these traditional models with CC++ is specified, implemented, and formally verified.",
        "doi": "10.7907/ngrt-q826",
        "publication_date": "1993",
        "thesis_type": "masters",
        "thesis_year": "1993"
    }
]