Concurrent CCS - an introduction

D. Smith

    Research output: Book/ReportOther report

    47 Downloads (Pure)

    Abstract

    This paper introduces an extension to CCS which models the concept of simultaneity of actions. In order to express simultaneity, we require the semantics of our language to allow agents the facility to proceed concurrently. An example of a safety critical system exemplifies the ideas expressed within this paper and their application.
    Original languageEnglish
    PublisherUniversity of Hertfordshire
    Publication statusPublished - 1991

    Publication series

    NameUH Computer Science Technical Report
    PublisherUniversity of Hertfordshire
    Volume126

    Fingerprint

    Dive into the research topics of 'Concurrent CCS - an introduction'. Together they form a unique fingerprint.

    Cite this