Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q602886> ?p ?o }
Showing triples 1 to 46 of
46
with 100 triples per page.
- Q602886 subject Q7153055.
- Q602886 subject Q8794778.
- Q602886 abstract "In theoretical computer science, the π-calculus (or pi-calculus) is a process calculus. The π-calculus allows channel names to be communicated along the channels themselves, and in this way it is able to describe concurrent computations whose network configuration may change during the computation.The π-calculus is elegantly simple, it has very few terms and so is a very small language [1], yet very expressive. Functional programs can be encoded into the π-calculus, and the encoding emphasises the dialogue nature of computation, drawing connections with game semantics. Extensions of the π-calculus, such as the spi calculus and applied π, have been successful in reasoning about cryptographic protocols. Beside the original use in describing concurrent systems, the π-calculus has also been used to reason about business processes and molecular biology.".
- Q602886 wikiPageExternalLink wiki?PiCalculus.
- Q602886 wikiPageExternalLink ZEx6o.png.
- Q602886 wikiPageExternalLink www.cryptyc.org.
- Q602886 wikiPageExternalLink isss02.pdf.
- Q602886 wikiPageExternalLink pi.pdf.
- Q602886 wikiPageExternalLink www.proverif.ens.fr.
- Q602886 wikiPageWikiLink Q1208485.
- Q602886 wikiPageWikiLink Q1254335.
- Q602886 wikiPageWikiLink Q128392.
- Q602886 wikiPageWikiLink Q16490.
- Q602886 wikiPageWikiLink Q176468.
- Q602886 wikiPageWikiLink Q185521.
- Q602886 wikiPageWikiLink Q1970286.
- Q602886 wikiPageWikiLink Q197970.
- Q602886 wikiPageWikiLink Q211577.
- Q602886 wikiPageWikiLink Q2379942.
- Q602886 wikiPageWikiLink Q242028.
- Q602886 wikiPageWikiLink Q2563079.
- Q602886 wikiPageWikiLink Q2878974.
- Q602886 wikiPageWikiLink Q2881121.
- Q602886 wikiPageWikiLink Q290768.
- Q602886 wikiPageWikiLink Q3183028.
- Q602886 wikiPageWikiLink Q333373.
- Q602886 wikiPageWikiLink Q4041852.
- Q602886 wikiPageWikiLink Q420511.
- Q602886 wikiPageWikiLink Q4829027.
- Q602886 wikiPageWikiLink Q5348683.
- Q602886 wikiPageWikiLink Q6777754.
- Q602886 wikiPageWikiLink Q7075672.
- Q602886 wikiPageWikiLink Q7153055.
- Q602886 wikiPageWikiLink Q7191089.
- Q602886 wikiPageWikiLink Q7202.
- Q602886 wikiPageWikiLink Q7246703.
- Q602886 wikiPageWikiLink Q7251.
- Q602886 wikiPageWikiLink Q851587.
- Q602886 wikiPageWikiLink Q866364.
- Q602886 wikiPageWikiLink Q8794778.
- Q602886 wikiPageWikiLink Q899651.
- Q602886 wikiPageWikiLink Q92643.
- Q602886 type Thing.
- Q602886 comment "In theoretical computer science, the π-calculus (or pi-calculus) is a process calculus. The π-calculus allows channel names to be communicated along the channels themselves, and in this way it is able to describe concurrent computations whose network configuration may change during the computation.The π-calculus is elegantly simple, it has very few terms and so is a very small language [1], yet very expressive.".
- Q602886 label "Π-calculus".
- Q602886 seeAlso Q866364.