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.
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.
A shorter version appeared as .
Go to next publication
Return to Richard Brent's index page