Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q1970286> ?p ?o }
Showing triples 1 to 56 of
56
with 100 triples per page.
- Q1970286 subject Q8794778.
- Q1970286 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.".
- Q1970286 wikiPageExternalLink 1009.2259.
- Q1970286 wikiPageExternalLink cadp.inria.fr.
- Q1970286 wikiPageExternalLink cwb.
- Q1970286 wikiPageExternalLink www.mcrl2.org.
- Q1970286 wikiPageExternalLink www.usingcsp.com.
- Q1970286 wikiPageWikiLink Q1071239.
- Q1970286 wikiPageWikiLink Q1120460.
- Q1970286 wikiPageWikiLink Q128392.
- Q1970286 wikiPageWikiLink Q1375924.
- Q1970286 wikiPageWikiLink Q1414548.
- Q1970286 wikiPageWikiLink Q15462007.
- Q1970286 wikiPageWikiLink Q163310.
- Q1970286 wikiPageWikiLink Q1636734.
- Q1970286 wikiPageWikiLink Q1805432.
- Q1970286 wikiPageWikiLink Q1859284.
- Q1970286 wikiPageWikiLink Q192161.
- Q1970286 wikiPageWikiLink Q21198.
- Q1970286 wikiPageWikiLink Q242028.
- Q1970286 wikiPageWikiLink Q2563079.
- Q1970286 wikiPageWikiLink Q284164.
- Q1970286 wikiPageWikiLink Q309157.
- Q1970286 wikiPageWikiLink Q3183028.
- Q1970286 wikiPageWikiLink Q344524.
- Q1970286 wikiPageWikiLink Q3968.
- Q1970286 wikiPageWikiLink Q42332.
- Q1970286 wikiPageWikiLink Q443253.
- Q1970286 wikiPageWikiLink Q4677718.
- Q1970286 wikiPageWikiLink Q4723975.
- Q1970286 wikiPageWikiLink Q4741426.
- Q1970286 wikiPageWikiLink Q5072250.
- Q1970286 wikiPageWikiLink Q5164442.
- Q1970286 wikiPageWikiLink Q5260200.
- Q1970286 wikiPageWikiLink Q5500266.
- Q1970286 wikiPageWikiLink Q5500272.
- Q1970286 wikiPageWikiLink Q5774850.
- Q1970286 wikiPageWikiLink Q602886.
- Q1970286 wikiPageWikiLink Q6150199.
- Q1970286 wikiPageWikiLink Q622849.
- Q1970286 wikiPageWikiLink Q6790660.
- Q1970286 wikiPageWikiLink Q7118987.
- Q1970286 wikiPageWikiLink Q724168.
- Q1970286 wikiPageWikiLink Q73820.
- Q1970286 wikiPageWikiLink Q7617828.
- Q1970286 wikiPageWikiLink Q837518.
- Q1970286 wikiPageWikiLink Q849775.
- Q1970286 wikiPageWikiLink Q865760.
- Q1970286 wikiPageWikiLink Q866364.
- Q1970286 wikiPageWikiLink Q8794778.
- Q1970286 wikiPageWikiLink Q92602.
- Q1970286 wikiPageWikiLink Q92643.
- Q1970286 wikiPageWikiLink Q935944.
- Q1970286 wikiPageWikiLink Q936559.
- Q1970286 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.".
- Q1970286 label "Process calculus".