. . . "The present invention relates to computer systems, and more particularly to a method for representing distributed and parallel computing systems based on process algebra and reducing the process algebra to a useful programming language for use in real world applications." .