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 vast results obtained by Science are won by no mystical faculties, by no mental processes other than those which are practiced by every one of us, in the humblest and meanest affairs of life. A detective policeman discovers a burglar from the marks made by his shoe, by a mental process identical with that by which Cuvier restored the extinct animals of Montmartre from fragments of their bones.”
—Thomas Henry Huxley (1825–95)