At present, within the project *Hybrid systems for intelligent
system design* at UQAH, I am developing a script language for the
distributed computing based on *Multi-Action Process Algebra*
(MAPA). The main motivation for this work is to provide a generic,
expressive, effectively implementable, and theoretically well-founded
programming language for dynamic distribution and synchronization of
tasks running in a distributed environment. Process algebras, with
their solid theoretical basis, seem to be a good choice for such a
language. One of the principal issues in achieving an efficient
implementation of a process algebra is the choice of the primitive
operations on the implementation level; in fact the main differences
between process algebras are related to the choice of the operators.
Our choice of the particular process algebra to implement was MAPA,
which is built on only three simple-to-implement and intuitive
operators: *prefixing* , *restriction* , and
*composition* . It has been formally proved that, notwithstanding
its simplicity, MAPA has ``general expressive power'' in the sense
that any *recursively enumerable* (i.e., implementable) behavior
can be specified by a MAPA program. Futhermore, MAPA allows so called
*multi-way* (by multiple rendez-vous) synchronization of tasks.

The description of the project and the general idea of the distribution and synchronization mechanism for MAPA programs have been presented in [ZFI97]. Currently, the distributed interpreter of MAPA is being implemented on a 16-node AVX-3 parallel computer using standard socket libraries.