Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Process_calculus> ?p ?o }
Showing triples 1 to 91 of
91
with 100 triples per page.
- 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 1009.2259.
- Process_calculus wikiPageExternalLink cadp.inria.fr.
- Process_calculus wikiPageExternalLink cwb.
- Process_calculus wikiPageExternalLink www.mcrl2.org.
- Process_calculus wikiPageExternalLink www.usingcsp.com.
- 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_(formal_languages).
- Process_calculus wikiPageWikiLink Ambient_calculus.
- Process_calculus wikiPageWikiLink Andrew_Mironov.
- Process_calculus wikiPageWikiLink Bisimulation.
- 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 Communicating_sequential_processes.
- Process_calculus wikiPageWikiLink Computer_science.
- Process_calculus wikiPageWikiLink Concurrency_(computer_science).
- Process_calculus wikiPageWikiLink Concurrent_computing.
- Process_calculus wikiPageWikiLink Construction_and_Analysis_of_Distributed_Processes.
- Process_calculus wikiPageWikiLink Department_of_Computer_Science,_University_of_Oxford.
- 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 PEPA.
- Process_calculus wikiPageWikiLink Petri_net.
- 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 Tony_Hoare.
- 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 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 Language.
- Process_calculus type Model.
- 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 Q1970286.
- Process_calculus sameAs Prozesskalkül.
- Process_calculus sameAs جبرهای_پردازه.
- Process_calculus sameAs Algèbre_de_processus.
- Process_calculus sameAs プロセス計算.
- Process_calculus sameAs Procesų_algebra.
- Process_calculus sameAs Cálculo_de_processos.
- Process_calculus sameAs m.03hbph.
- Process_calculus sameAs Исчисление_процессов.
- Process_calculus sameAs Q1970286.
- Process_calculus wasDerivedFrom Process_calculus?oldid=653588725.
- Process_calculus isPrimaryTopicOf Process_calculus.