================================================================================
P9412   C. Groza
        "An experiment in implementing process algebra specifications in a
        procedural language"


This paper presents a method for the implementation of process algebra
specifications in a (structured) imperative language.
The original specification is written in the Process Specification
Formalism (PSF). 
The actual implementation is made in an extension of the C language for
concurrent programming.
First we make an informal presentation and then we consider a formal approach.

Using the method presented in this paper we have implemented several
communication protocols.
As an example, we present the implementation of the Positive
Acknowledgement with Retransmission (PAR) Protocol.