Conference paper
Chopping a Point
In
Bcs-facs 7th Refinementworkshop
—
1996
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.
| Language: | English |
|---|---|
| Publisher: | Springer Verlag |
| Year: | 1996 |
| Proceedings: | BSC-FACS 7th Refinement Workshop |
| Types: | Conference paper |
| ORCIDs: | Hansen, Michael Reichhardt |
