Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q1120460> ?p ?o }
- Q1120460 subject Q6452951.
- Q1120460 subject Q7134669.
- Q1120460 subject Q8162353.
- Q1120460 subject Q8794778.
- Q1120460 abstract "In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or process calculi, based on message passing via channels. CSP was highly influential in the design of the occam programming language, and also influenced the design of programming languages such as Limbo and Go.CSP was first described in a 1978 paper by Tony Hoare, but has since evolved substantially. CSP has been practically applied in industry as a tool for specifying and verifying the concurrent aspects of a variety of different systems, such as the T9000 Transputer, as well as a secure ecommerce system. The theory of CSP itself is also still the subject of active research, including work to increase its range of practical applicability (e.g., increasing the scale of the systems that can be tractably analyzed).".
- Q1120460 wikiPageExternalLink articles.html.
- Q1120460 wikiPageExternalLink 61363.html.
- Q1120460 wikiPageExternalLink search?q=communicating+sequential+processes&submit=Search&sort=rlv&t=doc.
- Q1120460 wikiPageExternalLink cml.cs.uchicago.edu.
- Q1120460 wikiPageExternalLink BF01178564.
- Q1120460 wikiPageExternalLink thesis.pdf.
- Q1120460 wikiPageExternalLink concurrency.
- Q1120460 wikiPageExternalLink 68b.pdf.
- Q1120460 wikiPageExternalLink 68b.ps.
- Q1120460 wikiPageExternalLink pubs.html.
- Q1120460 wikiPageExternalLink tcoz.html.
- Q1120460 wikiPageExternalLink approach.html.
- Q1120460 wikiPageExternalLink c++csp.
- Q1120460 wikiPageExternalLink cspcasl.ps.
- Q1120460 wikiPageExternalLink circus.
- Q1120460 wikiPageExternalLink www.usingcsp.com.
- Q1120460 wikiPageExternalLink www.wotug.org.
- Q1120460 wikiPageExternalLink show_pap.php?f=1&num=394.
- Q1120460 wikiPageExternalLink show_pap.php?f=1&num=395.
- Q1120460 wikiPageExternalLink Hopac.
- Q1120460 wikiPageExternalLink core.async.
- Q1120460 wikiPageExternalLink LuaCSP.
- Q1120460 wikiPageExternalLink scala-gopher.
- Q1120460 wikiPageWikiLink Q1189746.
- Q1120460 wikiPageWikiLink Q1387402.
- Q1120460 wikiPageWikiLink Q1414548.
- Q1120460 wikiPageWikiLink Q1430781.
- Q1120460 wikiPageWikiLink Q1437424.
- Q1120460 wikiPageWikiLink Q1478998.
- Q1120460 wikiPageWikiLink Q1536492.
- Q1120460 wikiPageWikiLink Q154755.
- Q1120460 wikiPageWikiLink Q15574.
- Q1120460 wikiPageWikiLink Q1569697.
- Q1120460 wikiPageWikiLink Q15777.
- Q1120460 wikiPageWikiLink Q176468.
- Q1120460 wikiPageWikiLink Q1805432.
- Q1120460 wikiPageWikiLink Q1859284.
- Q1120460 wikiPageWikiLink Q188695.
- Q1120460 wikiPageWikiLink Q192161.
- Q1120460 wikiPageWikiLink Q193076.
- Q1120460 wikiPageWikiLink Q1930895.
- Q1120460 wikiPageWikiLink Q1931693.
- Q1120460 wikiPageWikiLink Q1970286.
- Q1120460 wikiPageWikiLink Q1985141.
- Q1120460 wikiPageWikiLink Q2083958.
- Q1120460 wikiPageWikiLink Q21198.
- Q1120460 wikiPageWikiLink Q213666.
- Q1120460 wikiPageWikiLink Q251.
- Q1120460 wikiPageWikiLink Q2563079.
- Q1120460 wikiPageWikiLink Q2715061.
- Q1120460 wikiPageWikiLink Q3085774.
- Q1120460 wikiPageWikiLink Q3321292.
- Q1120460 wikiPageWikiLink Q34010.
- Q1120460 wikiPageWikiLink Q344524.
- Q1120460 wikiPageWikiLink Q3490301.
- Q1120460 wikiPageWikiLink Q3513774.
- Q1120460 wikiPageWikiLink Q37227.
- Q1120460 wikiPageWikiLink Q37437.
- Q1120460 wikiPageWikiLink Q39645.
- Q1120460 wikiPageWikiLink Q443253.
- Q1120460 wikiPageWikiLink Q4724011.
- Q1120460 wikiPageWikiLink Q4736977.
- Q1120460 wikiPageWikiLink Q4910708.
- Q1120460 wikiPageWikiLink Q5072250.
- Q1120460 wikiPageWikiLink Q5153278.
- Q1120460 wikiPageWikiLink Q5260200.
- Q1120460 wikiPageWikiLink Q5283898.
- Q1120460 wikiPageWikiLink Q52948.
- Q1120460 wikiPageWikiLink Q5327483.
- Q1120460 wikiPageWikiLink Q5425291.
- Q1120460 wikiPageWikiLink Q544927.
- Q1120460 wikiPageWikiLink Q5774850.
- Q1120460 wikiPageWikiLink Q5968144.
- Q1120460 wikiPageWikiLink Q6107883.
- Q1120460 wikiPageWikiLink Q6194548.
- Q1120460 wikiPageWikiLink Q623276.
- Q1120460 wikiPageWikiLink Q629579.
- Q1120460 wikiPageWikiLink Q6297370.
- Q1120460 wikiPageWikiLink Q6452951.
- Q1120460 wikiPageWikiLink Q64698.
- Q1120460 wikiPageWikiLink Q704874.
- Q1120460 wikiPageWikiLink Q7075005.
- Q1120460 wikiPageWikiLink Q7095758.
- Q1120460 wikiPageWikiLink Q7134669.
- Q1120460 wikiPageWikiLink Q7200878.
- Q1120460 wikiPageWikiLink Q725779.
- Q1120460 wikiPageWikiLink Q734781.
- Q1120460 wikiPageWikiLink Q738236.
- Q1120460 wikiPageWikiLink Q7475431.
- Q1120460 wikiPageWikiLink Q7663737.
- Q1120460 wikiPageWikiLink Q7665653.
- Q1120460 wikiPageWikiLink Q776861.
- Q1120460 wikiPageWikiLink Q7831167.
- Q1120460 wikiPageWikiLink Q7882409.
- Q1120460 wikiPageWikiLink Q7921340.