Chopping a Point

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review


    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 languageEnglish
    Title of host publicationBCS-FACS 7th RefinementWorkshop
    Place of PublicationLondon
    PublisherSpringer Verlag
    Publication date1996
    Publication statusPublished - 1996
    EventBSC-FACS 7th Refinement Workshop - Bath
    Duration: 1 Jan 1996 → …


    ConferenceBSC-FACS 7th Refinement Workshop
    Period01/01/1996 → …


    Dive into the research topics of 'Chopping a Point'. Together they form a unique fingerprint.

    Cite this