 For example, the communications function might specify that
which indicates that a successful interaction formula_45 will be reduced to the action formula_46.ACP also includes an encapsulation operator, formula_47 for some formula_48, which is used to convert unsuccessful communication attempts (i.e.elements of formula_49 that have not been reduced via the communication function) to the deadlock action.