NobleBlocks

From the research index

The paper comes from the research index. It wasn’t submitted here.

Report

Visualizing Concurrent Relations

CM Holt

Newcastle University ePrints (Newcastle Univesity)1 Dec 1991Open access

Abstract

No PDF here

The full text is at the publisher

You can read the abstract here, or open it at the publisher.

Read at the publisher

Visual languages can denote programs directly as flow graphs, enhancing transparency by increasing the correspondence between visible and underlying program structures. Communication among concurrent processes can be depicted by drawing links, with internal structure refined at lower levels. This encourages safe programming practice, since processes can talk only if they are explicitly connected at the level of invocation. Such a linking of interfaces can be understood as the use of a time stream parameter connecting two or more relations. The structures available in this approach can be used to construct asynchronous and synchronous communication links. Because the semantics in a relational calculus, it is mathematically tractable; because the syntax is visual, it removes some of the notational inconveniences that have hindered attempts to popularise this style of programming. It therefore seems to have some advantages over other models of concurrency such as CCS, CSP and Actors.

Identifiers

Discussion

Citations

Details

Published
1 Dec 1991
Publisher
Newcastle University

More

Suggest a correction or report