Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Π-calculus> ?p ?o }
Showing triples 1 to 86 of
86
with 100 triples per page.
- Π-calculus 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 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 wikiPageExternalLink wiki?PiCalculus.
- Π-calculus wikiPageExternalLink www.cryptyc.org.
- Π-calculus wikiPageExternalLink isss02.pdf.
- Π-calculus wikiPageExternalLink pi.pdf.
- Π-calculus wikiPageExternalLink www.proverif.ens.fr.
- Π-calculus wikiPageID "420373".
- Π-calculus wikiPageLength "29163".
- Π-calculus wikiPageOutDegree "42".
- Π-calculus wikiPageRevisionID "679401373".
- Π-calculus wikiPageWikiLink Abstract_syntax.
- Π-calculus wikiPageWikiLink Alan_Turing.
- Π-calculus wikiPageWikiLink Aviv_Regev.
- Π-calculus wikiPageWikiLink BNF_grammar.
- Π-calculus wikiPageWikiLink Backus–Naur_Form.
- Π-calculus wikiPageWikiLink Bisimulation.
- Π-calculus wikiPageWikiLink Bruno_Blanchet.
- Π-calculus wikiPageWikiLink Business_Process_Modeling_Language.
- Π-calculus wikiPageWikiLink Business_process.
- Π-calculus wikiPageWikiLink Calculus_of_Communicating_Systems.
- Π-calculus wikiPageWikiLink Calculus_of_communicating_systems.
- Π-calculus wikiPageWikiLink Category:Process_calculi.
- Π-calculus wikiPageWikiLink Category:Theoretical_computer_science.
- Π-calculus wikiPageWikiLink Concurrent_computation.
- Π-calculus wikiPageWikiLink Concurrent_computing.
- Π-calculus wikiPageWikiLink Cryptographic_protocol.
- Π-calculus wikiPageWikiLink David_Walker_(computer_scientist).
- Π-calculus wikiPageWikiLink Ehud_Shapiro.
- Π-calculus wikiPageWikiLink Evaluation_strategy.
- Π-calculus wikiPageWikiLink Game_semantics.
- Π-calculus wikiPageWikiLink Guard_(computer_science).
- Π-calculus wikiPageWikiLink Jeannette_M._Wing.
- Π-calculus wikiPageWikiLink Jeannette_Wing.
- Π-calculus wikiPageWikiLink JoCaml.
- Π-calculus wikiPageWikiLink Join-calculus.
- Π-calculus wikiPageWikiLink Lambda-calculus.
- Π-calculus wikiPageWikiLink Lambda_calculus.
- Π-calculus wikiPageWikiLink MAPK.
- Π-calculus wikiPageWikiLink Martin_Abadi.
- Π-calculus wikiPageWikiLink Martín_Abadi.
- Π-calculus wikiPageWikiLink Mitogen-activated_protein_kinase.
- Π-calculus wikiPageWikiLink Molecular_biology.
- Π-calculus wikiPageWikiLink Occam-π.
- Π-calculus wikiPageWikiLink Peter_Fingar.
- Π-calculus wikiPageWikiLink Pict_(programming_language).
- Π-calculus wikiPageWikiLink Pict_programming_language.
- Π-calculus wikiPageWikiLink ProVerif.
- Π-calculus wikiPageWikiLink Process_calculi.
- Π-calculus wikiPageWikiLink Process_calculus.
- Π-calculus wikiPageWikiLink Receptor_tyrosine_kinase.
- Π-calculus wikiPageWikiLink Robin_Milner.
- Π-calculus wikiPageWikiLink Spi-calculus.
- Π-calculus wikiPageWikiLink State_transition_system.
- Π-calculus wikiPageWikiLink Theoretical_computer_science.
- Π-calculus wikiPageWikiLink Transition_system.
- Π-calculus wikiPageWikiLink Truth_value.
- Π-calculus wikiPageWikiLink Turing.
- Π-calculus wikiPageWikiLink Turing_complete.
- Π-calculus wikiPageWikiLink Turing_completeness.
- Π-calculus wikiPageWikiLinkText "-calculus".
- Π-calculus wikiPageWikiLinkText "Π-calculus".
- Π-calculus wikiPageWikiLinkText "π-calculus".
- Π-calculus hasPhotoCollection Π-calculus.
- Π-calculus wikiPageUsesTemplate Template:Cite_book.
- Π-calculus wikiPageUsesTemplate Template:Clarification_needed.
- Π-calculus wikiPageUsesTemplate Template:Reflist.
- Π-calculus wikiPageUsesTemplate Template:See_also.
- Π-calculus subject Category:Process_calculi.
- Π-calculus subject Category:Theoretical_computer_science.
- Π-calculus type Thing.
- Π-calculus 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 yet very expressive.".
- Π-calculus label "Π-calculus".
- Π-calculus seeAlso Bisimulation.
- Π-calculus sameAs Càlcul_Pi.
- Π-calculus sameAs Pi-Kalkül.
- Π-calculus sameAs Cálculo_pi.
- Π-calculus sameAs Pi-calcul.
- Π-calculus sameAs Kalkulus_pi.
- Π-calculus sameAs Pi_calculus.
- Π-calculus sameAs m.026ckf.
- Π-calculus sameAs Пи-исчисление.
- Π-calculus sameAs Пі-числення.
- Π-calculus sameAs Q602886.
- Π-calculus sameAs Q602886.
- Π-calculus wasDerivedFrom Π-calculus?oldid=679401373.
- Π-calculus isPrimaryTopicOf Π-calculus.