I). Related formalisms ACP has served as the basis or inspiration for several other formalisms that can be used to describe and analyze concurrent systems, including: PSF μCRL mCRL2 HyPA — a process algebra for hybrid systems References Process calculi