CCS and object-oriented concepts

M. Buchanan, R. Dickerson

    Research output: Book/ReportOther report

    50 Downloads (Pure)


    The visibility of using CCS as a formal specification language for classes of objects is investigated. The class based object-oriented paradigm is assumed throughout. It is concluded that CCS can be used to specify classes of objects and that it is particularly well suited for describing classes in which the time-ordering of operations is important. Further work is needed to evaluate the use of CCS to describe a complete system. Sub-type inheritance can be expressed in CCS but at the expense of added complexity. Restriction inheritance can be expressed simply and clearly.
    Original languageEnglish
    PublisherUniversity of Hertfordshire
    Publication statusPublished - 1992

    Publication series

    NameUH Computer Science Technical Report
    PublisherUniversity of Hertfordshire


    Dive into the research topics of 'CCS and object-oriented concepts'. Together they form a unique fingerprint.

    Cite this