[
    {
        "id": "authors:a6qkt-2bz46",
        "collection": "authors",
        "collection_id": "a6qkt-2bz46",
        "cite_using_url": "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-21",
        "type": "monograph",
        "title": "A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language",
        "author": [
            {
                "family_name": "Sivilotti",
                "given_name": "Paul",
                "clpid": "Sivilotti-P"
            }
        ],
        "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/Z9W95779",
        "publisher": "California Institute of Technology",
        "publication_date": "1993"
    }
]