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, United Kingdom Duration: 3 Jul 1996 → 5 Jul 1996 |
Workshop
Workshop | BSC-FACS 7th Refinement Workshop |
---|---|
Country/Territory | United Kingdom |
City | Bath |
Period | 03/07/1996 → 05/07/1996 |