Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Algebra_of_Communicating_Processes> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- Algebra_of_Communicating_Processes abstract "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 wikiPageExternalLink ~mcrl.
- Algebra_of_Communicating_Processes wikiPageExternalLink ~psf.
- Algebra_of_Communicating_Processes wikiPageID "3502617".
- Algebra_of_Communicating_Processes wikiPageRevisionID "576825328".
- Algebra_of_Communicating_Processes hasPhotoCollection Algebra_of_Communicating_Processes.
- Algebra_of_Communicating_Processes subject Category:Process_calculi.
- Algebra_of_Communicating_Processes comment "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.".
- Algebra_of_Communicating_Processes label "Algebra of Communicating Processes".
- Algebra_of_Communicating_Processes sameAs m.09h0ld.
- Algebra_of_Communicating_Processes sameAs Q4723975.
- Algebra_of_Communicating_Processes sameAs Q4723975.
- Algebra_of_Communicating_Processes wasDerivedFrom Algebra_of_Communicating_Processes?oldid=576825328.
- Algebra_of_Communicating_Processes isPrimaryTopicOf Algebra_of_Communicating_Processes.