Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Process_calculus> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items 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 wikiPageRevisionID "594642727".
- Process_calculus hasPhotoCollection Process_calculus.
- Process_calculus subject Category:Process_calculi.
- 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 "Algèbre de processus".
- Process_calculus label "Process calculus".
- Process_calculus label "Prozesskalkül".
- Process_calculus label "Исчисление процессов".
- Process_calculus label "プロセス計算".
- Process_calculus sameAs Prozesskalkül.
- Process_calculus sameAs Algèbre_de_processus.
- Process_calculus sameAs プロセス計算.
- Process_calculus sameAs m.03hbph.
- Process_calculus sameAs Q1970286.
- Process_calculus sameAs Q1970286.
- Process_calculus wasDerivedFrom Process_calculus?oldid=594642727.
- Process_calculus isPrimaryTopicOf Process_calculus.