Chopping a Point

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

    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 languageEnglish
    Title of host publicationBCS-FACS 7th RefinementWorkshop
    Place of PublicationLondon
    PublisherSpringer Verlag
    Publication date1996
    Publication statusPublished - 1996
    EventBSC-FACS 7th Refinement Workshop - Bath, United Kingdom
    Duration: 3 Jul 19965 Jul 1996

    Workshop

    WorkshopBSC-FACS 7th Refinement Workshop
    Country/TerritoryUnited Kingdom
    CityBath
    Period03/07/199605/07/1996

    Fingerprint

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

    Cite this