 Actions can be combined to form "processes" using a variety of operators.These operators can be roughly categorized as providing a "basic process algebra", "concurrency", and "communication".ACP fundamentally adopts an axiomatic, algebraic approach to the formal definition of its various operators.