Chopping a Point

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 passing of messages in communications are assumed to be timeless operations.