This paper presents a formal methodology and a set of design and programmin
g tools for the development of concurrently communicating systems that exec
ute in distributed computing environments. In order to solve the complex pr
oblems of synchronization and communication between dynamically distributed
tasks, the distributed programming system uses an internal process-algebra
-based mechanism, and provides an algebra term generator that allows the us
er to define the task architecture through a simple graphical interface. An
example of the design process of a heterogeneous distributed system illust
rates the main phases of creating and executing a concurrent task system, a
s well as the architecture of the programming environment presented in the
paper.