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
Read more about this topic: Algebra Of Communicating Processes
Famous quotes containing the word related:
“Generally there is no consistent evidence of significant differences in school achievement between children of working and nonworking mothers, but differences that do appear are often related to maternal satisfaction with her chosen role, and the quality of substitute care.”
—Ruth E. Zambrana, U.S. researcher, M. Hurst, and R.L. Hite. The Working Mother in Contemporary Perspectives: A Review of Literature, Pediatrics (December 1979)