Formal ACP Process