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:
“The content of a thought depends on its external relations; on the way that the thought is related to the world, not on the way that it is related to other thoughts.”
—Jerry Alan Fodor (b. 1935)