Concurrent CCS - an introduction
Smith, D.
(1991)
Concurrent CCS - an introduction.
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 | Other |
---|---|
Date Deposited | 26 Jul 2024 13:40 |
Last Modified | 26 Jul 2024 13:40 |
Downloads
-
picture_as_pdf - CSTR 126.pdf
Share this file
Explore Further
Read more research from the creator(s):
Find work associated with the faculties and division(s):