Concurrent CCS - an introduction

Smith, D. (1991) Concurrent CCS - an introduction. UH Computer Science Technical Report . University of Hertfordshire.
Copy

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.

picture_as_pdf

picture_as_pdf
CSTR+126.pdf

View Download

Atom BibTeX OpenURL ContextObject in Span OpenURL ContextObject Dublin Core MPEG-21 DIDL EndNote HTML Citation METS MODS RIOXX2 XML Reference Manager Refer ASCII Citation
Export

Downloads