Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Algebra_of_Communicating_Processes> ?p ?o }
Showing triples 1 to 41 of
41
with 100 triples 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 wikiPageLength "9934".
- Algebra_of_Communicating_Processes wikiPageOutDegree "14".
- Algebra_of_Communicating_Processes wikiPageRevisionID "632261110".
- Algebra_of_Communicating_Processes wikiPageWikiLink Atomic_actions.
- Algebra_of_Communicating_Processes wikiPageWikiLink Calculus_of_Communicating_Systems.
- Algebra_of_Communicating_Processes wikiPageWikiLink Calculus_of_communicating_systems.
- Algebra_of_Communicating_Processes wikiPageWikiLink Category:Process_calculi.
- Algebra_of_Communicating_Processes wikiPageWikiLink Communicating_sequential_processes.
- Algebra_of_Communicating_Processes wikiPageWikiLink Concurrency_(computer_science).
- Algebra_of_Communicating_Processes wikiPageWikiLink Concurrent_systems.
- Algebra_of_Communicating_Processes wikiPageWikiLink Deadlock.
- Algebra_of_Communicating_Processes wikiPageWikiLink Hybrid_Process_Algebra.
- Algebra_of_Communicating_Processes wikiPageWikiLink Jan_Bergstra.
- Algebra_of_Communicating_Processes wikiPageWikiLink Jan_Willem_Klop.
- Algebra_of_Communicating_Processes wikiPageWikiLink Linearizability.
- Algebra_of_Communicating_Processes wikiPageWikiLink MCRL2.
- Algebra_of_Communicating_Processes wikiPageWikiLink Process_calculi.
- Algebra_of_Communicating_Processes wikiPageWikiLink Process_calculus.
- Algebra_of_Communicating_Processes wikiPageWikiLink Universal_algebra.
- Algebra_of_Communicating_Processes wikiPageWikiLinkText "ACP".
- Algebra_of_Communicating_Processes wikiPageWikiLinkText "Algebra of Communicating Processes".
- Algebra_of_Communicating_Processes hasPhotoCollection Algebra_of_Communicating_Processes.
- Algebra_of_Communicating_Processes wikiPageUsesTemplate Template:Reflist.
- Algebra_of_Communicating_Processes subject Category:Process_calculi.
- Algebra_of_Communicating_Processes hypernym Approach.
- Algebra_of_Communicating_Processes type Language.
- Algebra_of_Communicating_Processes type Model.
- Algebra_of_Communicating_Processes type ProgrammingLanguage.
- Algebra_of_Communicating_Processes type Language.
- Algebra_of_Communicating_Processes type Model.
- 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=632261110.
- Algebra_of_Communicating_Processes isPrimaryTopicOf Algebra_of_Communicating_Processes.