Chopping a Point

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.

Content

Author and article information

Contributors

Zhou Chaochen

Michael R. Hansen

Conference

Publication date: July 1996

Publication date (Print): July 1996

Pages: 1-15

Affiliations

[0001]Department of Information Technology, Technical University of Denmark

DK-2800 Lyngby, Denmark

Article

DOI: 10.14236/ewic/RW1996.4

SO-VID: 83401a67-f2d1-430a-816c-914100d37834

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Proceedings of the BCS-FACS 7th Refinement Workshop

Conference acronym: RW

Conference number: 7

Conference location: Bath

Conference date: 3-5 July 1996

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: BCS-FACS 7th Refinement Workshop

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/RW1996.4

Self URI (journal page): https://ewic.bcs.org/

Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

Chopping a Point

Abstract