Concurrent programming in T-Cham

160. W. Ma, C. W. Johnson and R. P. Brent, Concurrent programming in T-Cham, Australian Computer Science Communications 18, 1 (1996), 291-300.

Paper: pdf (240K), ps (60K).

Abstract

A coordination style programming language, T-Cham, is proposed.  It is based on the paradigm of the chemical abstract machine (Cham) and transaction programming paradigm.  Hierarchical tuple spaces, where the "molecules" of the Cham reside, are used to coordinate the concurrent transactions, which could be written in any language, such as C, Pascal, or Fortran etc., even T-Cham itself, as long as they satisfy their pre-conditions and post-conditions.  A transaction can begin its execution whenever its execution condition is met.  T-Cham has an intuitive presentation and yet a formal background.  A T-Cham program can be executed in a parallel, distributed, or sequential manner based on the available resources.

Comments

A shorter version appeared as [164].

Go to next publication

Return to Richard Brent's index page