Algebra of Communicating Processes

The Algebra of Communicating Processes (ACP) is an algebraic approach to reasoning about concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras or process calculi. ACP was initially developed by Jan Bergstra and Jan Willem Klop in 1982, as part of an effort to investigate the solutions of unguarded recursive equations. More so than the other seminal process calculi (CCS and CSP), the development of ACP focused on the algebra of processes, and sought to create an abstract, generalized axiomatic system for processes, and in fact the term process algebra was coined during the research that led to ACP.

Read more about Algebra Of Communicating Processes:  Informal Description, Formal Definition, Related Formalisms

Famous quotes containing the words algebra of, algebra and/or processes:

    Poetry has become the higher algebra of metaphors.
    José Ortega Y Gasset (1883–1955)

    Poetry has become the higher algebra of metaphors.
    José Ortega Y Gasset (1883–1955)

    The higher processes are all processes of simplification. The novelist must learn to write, and then he must unlearn it; just as the modern painter learns to draw, and then learns when utterly to disregard his accomplishment, when to subordinate it to a higher and truer effect.
    Willa Cather (1873–1947)