This paper introduces a super-dense chop modality into the Duration Calculi. The super-dense chop can be used to specify a super-dense computation, where a number of operations happens simultaneously, but in a specific order. With this modality, the paper defines a real-time semantics for an OCCAM-like language. In the semantics, assignments and passings of messages in communications are assumed to be timeless operations.
|Title of host publication||BCS-FACS 7th RefinementWorkshop|
|Place of Publication||London|
|Publication status||Published - 1996|
|Event||BSC-FACS 7th Refinement Workshop - Bath|
Duration: 1 Jan 1996 → …
|Conference||BSC-FACS 7th Refinement Workshop|
|Period||01/01/1996 → …|