Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | BCS-FACS 7th RefinementWorkshop |
| Place of Publication | London |
| Publisher | Springer Verlag |
| Publication date | 1996 |
| Publication status | Published - 1996 |
| Event | BSC-FACS 7th Refinement Workshop - Bath Duration: 1 Jan 1996 → … |
Conference
| Conference | BSC-FACS 7th Refinement Workshop |
|---|---|
| City | Bath |
| Period | 01/01/1996 → … |