Concurrent CCS - an introduction
Smith, D.
(1991)
Concurrent CCS - an introduction.
UH Computer Science Technical Report
.
University of Hertfordshire.
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.
Item Type | Book |
---|---|
Date Deposited | 15 May 2025 16:01 |
Last Modified | 15 May 2025 16:01 |
Explore Further
-
picture_as_pdf - CSTR+126.pdf
Share this file
Downloads