Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Process_calculus> ?p ?o }
- Process_calculus abstract "In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide a tool for the high-level description of interactions, communications, and synchronizations between a collection of independent agents or processes. They also provide algebraic laws that allow process descriptions to be manipulated and analyzed, and permit formal reasoning about equivalences between processes (e.g., using bisimulation). Leading examples of process calculi include CSP, CCS, ACP, and LOTOS. More recent additions to the family include the π-calculus, the ambient calculus, PEPA, the fusion calculus and the join-calculus.".
- Process_calculus wikiPageExternalLink www.usingcsp.com.
- Process_calculus wikiPageExternalLink 1009.2259.
- Process_calculus wikiPageExternalLink cadp.inria.fr.
- Process_calculus wikiPageExternalLink cwb.
- Process_calculus wikiPageExternalLink www.mcrl2.org.
- Process_calculus wikiPageID "853240".
- Process_calculus wikiPageLength "17574".
- Process_calculus wikiPageOutDegree "66".
- Process_calculus wikiPageRevisionID "653588725".
- Process_calculus wikiPageWikiLink Actor_model.
- Process_calculus wikiPageWikiLink Actor_model_and_process_calculi.
- Process_calculus wikiPageWikiLink Algebra.
- Process_calculus wikiPageWikiLink Algebra_of_Communicating_Processes.
- Process_calculus wikiPageWikiLink Alphabet_(computer_science).
- Process_calculus wikiPageWikiLink Alphabet_(formal_languages).
- Process_calculus wikiPageWikiLink Ambient_calculus.
- Process_calculus wikiPageWikiLink Andrew_Mironov.
- Process_calculus wikiPageWikiLink Bisimulation.
- Process_calculus wikiPageWikiLink Bound_variables.
- Process_calculus wikiPageWikiLink C.A.R._Hoare.
- Process_calculus wikiPageWikiLink C._A._R._Hoare.
- Process_calculus wikiPageWikiLink CADP.
- Process_calculus wikiPageWikiLink Calculus_of_Communicating_Systems.
- Process_calculus wikiPageWikiLink Calculus_of_communicating_systems.
- Process_calculus wikiPageWikiLink Category:Process_calculi.
- Process_calculus wikiPageWikiLink Channel_(programming).
- Process_calculus wikiPageWikiLink Church-Turing_thesis.
- Process_calculus wikiPageWikiLink Church–Turing_thesis.
- Process_calculus wikiPageWikiLink Communicating_Sequential_Processes.
- Process_calculus wikiPageWikiLink Communicating_sequential_processes.
- Process_calculus wikiPageWikiLink Compositionality.
- Process_calculus wikiPageWikiLink Computer_science.
- Process_calculus wikiPageWikiLink Concurrency_(computer_science).
- Process_calculus wikiPageWikiLink Concurrent_computing.
- Process_calculus wikiPageWikiLink Concurrent_system.
- Process_calculus wikiPageWikiLink Construction_and_Analysis_of_Distributed_Processes.
- Process_calculus wikiPageWikiLink Department_of_Computer_Science,_University_of_Oxford.
- Process_calculus wikiPageWikiLink Equational_reasoning.
- Process_calculus wikiPageWikiLink Formal_language.
- Process_calculus wikiPageWikiLink Free_monoid.
- Process_calculus wikiPageWikiLink Free_object.
- Process_calculus wikiPageWikiLink Free_variables_and_bound_variables.
- Process_calculus wikiPageWikiLink Fusion_calculus.
- Process_calculus wikiPageWikiLink Halting_problem.
- Process_calculus wikiPageWikiLink History_monoid.
- Process_calculus wikiPageWikiLink Hoare_logic.
- Process_calculus wikiPageWikiLink Jan_Bergstra.
- Process_calculus wikiPageWikiLink Jan_Willem_Klop.
- Process_calculus wikiPageWikiLink Join-calculus.
- Process_calculus wikiPageWikiLink Kleene_star.
- Process_calculus wikiPageWikiLink Lambda_calculus.
- Process_calculus wikiPageWikiLink Language_Of_Temporal_Ordering_Specification.
- Process_calculus wikiPageWikiLink MIT_Press.
- Process_calculus wikiPageWikiLink Matthew_Hennessy.
- Process_calculus wikiPageWikiLink Message-passing.
- Process_calculus wikiPageWikiLink Message_passing.
- Process_calculus wikiPageWikiLink Oxford_University_Computing_Laboratory.
- Process_calculus wikiPageWikiLink PEPA.
- Process_calculus wikiPageWikiLink Petri_net.
- Process_calculus wikiPageWikiLink Pi-calculus.
- Process_calculus wikiPageWikiLink Portable_Document_Format.
- Process_calculus wikiPageWikiLink Prentice_Hall.
- Process_calculus wikiPageWikiLink Principle_of_compositionality.
- Process_calculus wikiPageWikiLink Robin_Milner.
- Process_calculus wikiPageWikiLink Stochastic.
- Process_calculus wikiPageWikiLink Stochastic_probe.
- Process_calculus wikiPageWikiLink The_MIT_Press.
- Process_calculus wikiPageWikiLink Tony_Hoare.
- Process_calculus wikiPageWikiLink Turing_Machine.
- Process_calculus wikiPageWikiLink Turing_machine.
- Process_calculus wikiPageWikiLink Type_system.
- Process_calculus wikiPageWikiLink Universal_algebra.
- Process_calculus wikiPageWikiLink Μ-recursive_function.
- Process_calculus wikiPageWikiLink Π-calculus.
- Process_calculus wikiPageWikiLinkText "Process Calculi".
- Process_calculus wikiPageWikiLinkText "Process calculi".
- Process_calculus wikiPageWikiLinkText "Process calculus".
- Process_calculus wikiPageWikiLinkText "Process calculus#Sequential composition".
- Process_calculus wikiPageWikiLinkText "calculus".
- Process_calculus wikiPageWikiLinkText "null process".
- Process_calculus wikiPageWikiLinkText "process calculi".
- Process_calculus wikiPageWikiLinkText "process calculus".
- Process_calculus hasPhotoCollection Process_calculus.
- Process_calculus wikiPageUsesTemplate Template:Citation_needed.
- Process_calculus wikiPageUsesTemplate Template:Concurrent_computing.
- Process_calculus wikiPageUsesTemplate Template:Reflist.
- Process_calculus subject Category:Process_calculi.
- Process_calculus hypernym Family.
- Process_calculus type Article.
- Process_calculus type Language.
- Process_calculus type Model.
- Process_calculus type Article.
- Process_calculus type Language.
- Process_calculus type Model.
- Process_calculus type Concept.
- Process_calculus comment "In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide a tool for the high-level description of interactions, communications, and synchronizations between a collection of independent agents or processes.".
- Process_calculus label "Process calculus".
- Process_calculus sameAs Prozesskalkül.
- Process_calculus sameAs جبرهای_پردازه.