Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Π-calculus> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- Π-calculus abstract "In theoretical computer science, the π-calculus (or pi-calculus) is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker in 1992, based on ideas by Uffe Engberg and Mogens Nielsen. It can be seen as a continuation of Milner's work on the process calculus CCS (Calculus of Communicating Systems). 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 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.".
- Π-calculus wikiPageID "420373".
- Π-calculus wikiPageRevisionID "606308231".
- Π-calculus subject Category:Process_calculi.
- Π-calculus subject Category:Theoretical_computer_science.
- Π-calculus comment "In theoretical computer science, the π-calculus (or pi-calculus) is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker in 1992, based on ideas by Uffe Engberg and Mogens Nielsen. It can be seen as a continuation of Milner's work on the process calculus CCS (Calculus of Communicating Systems).".
- Π-calculus label "Cálculo pi".
- Π-calculus label "Pi calculus".
- Π-calculus label "Pi-Kalkül".
- Π-calculus label "Pi-calcul".
- Π-calculus label "Π-calculus".
- Π-calculus label "Пи-исчисление".
- Π-calculus sameAs %CE%A0-calculus.
- Π-calculus sameAs Pi-Kalkül.
- Π-calculus sameAs Cálculo_pi.
- Π-calculus sameAs Pi-calcul.
- Π-calculus sameAs Kalkulus_pi.
- Π-calculus sameAs Pi_calculus.
- Π-calculus sameAs Q602886.
- Π-calculus sameAs Q602886.
- Π-calculus wasDerivedFrom Π-calculus?oldid=606308231.