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.

单词	Algebra of Communicating Processes
释义	Algebra of Communicating Processes 英语百科 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.
随便看	coprocessor register coprocholic acid Coprococcus Coprococcus catus Coprococcus comes Coprococcus eutactus coprocracy coprocrat coproctic coproculture coprocytogram coprodaeum coprodeum co produce coproduce coproducer coproducers coproduct co product co production coproduction co production agreement coproduction agreement coproduction contract coproduction of service