Toggle Main Menu Toggle Search

Open Access padlockePrints

Visualizing Concurrent Relations

Lookup NU author(s): Dr Christopher Holt



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.

Publication metadata

Author(s): Holt CM

Publication type: Report

Publication status: Published

Series Title: Computing Laboratory Technical Report Series

Year: 1991

Pages: 20

Print publication date: 01/12/1991

Source Publication Date: December 1991

Report Number: 366

Institution: Computing Laboratory, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne