A program for animating CCS specifications

J.R. Stobo

    Research output: Book/ReportOther report

    41 Downloads (Pure)

    Abstract

    This report describes the operation of a program which enables the behaviours admitted by a specification in the Calculus of Communicating Systems (CCS) to be investigated. Two specifications in the calculus are presented to illustrate the issues under discussion, and program output from the animation of these specifications is shown in some detail, both to make clear the program's value and limitations and to highlight distinctive features of specifications in CCS.
    Original languageEnglish
    PublisherUniversity of Hertfordshire
    Publication statusPublished - 1992

    Publication series

    NameUH Computer Science Technical Report
    PublisherUniversity of Hertfordshire
    Volume145

    Fingerprint

    Dive into the research topics of 'A program for animating CCS specifications'. Together they form a unique fingerprint.

    Cite this