ABSTRACT
The word “algebra” denotes that the approach in dealing with behavior is algebraic and axiomatic. That is, methods and techniques of universal algebra are used. A process algebra can be defined as any mathematical structure satisfying the axioms given for the basic operators. A process is an element of a process algebra. By using the axioms, we can perform calculations with processes. Often, though, process algebra goes beyond the strict bounds of universal algebra: sometimes multiple sorts and/or binding of variables are used.
