About: http://fr.dbpedia.org/resource/Pi-calcul

Property	Value
dbo:abstract	Le Pi-calcul (ou π-calcul) est un langage de programmation théorique inventé par Robin Milner. Ce langage occupe dans le domaine de l'informatique parallèle et distribuée un rôle similaire à celui du λ-calcul dans l'informatique classique. (fr) Le Pi-calcul (ou π-calcul) est un langage de programmation théorique inventé par Robin Milner. Ce langage occupe dans le domaine de l'informatique parallèle et distribuée un rôle similaire à celui du λ-calcul dans l'informatique classique. (fr)
dbo:wikiPageExternalLink	http://graal.ens-lyon.fr/jumel http://spico.gforge.inria.fr/ https://github.com/fredokun/cubevm http://research.microsoft.com/~aphillip/spim/ https://web.archive.org/web/20100725024213/http:/www.ateji.com/px/ http://www.wisdom.weizmann.ac.il/~biospi/
dbo:wikiPageID	200550 (xsd:integer)
dbo:wikiPageLength	18719 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	188059925 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Langage_de_programmation_théorique dbpedia-fr:Agent_logiciel dbpedia-fr:Business_process_modeling_language category-fr:Méthode_formelle dbpedia-fr:Champ_(base_de_données) dbpedia-fr:Classe_(informatique) dbpedia-fr:Compilateur dbpedia-fr:Interface dbpedia-fr:Join-Calcul dbpedia-fr:Lambda-calcul dbpedia-fr:Langage_de_programmation dbpedia-fr:Langage_formel dbpedia-fr:Méthode_(informatique) dbpedia-fr:Politique_de_sécurité dbpedia-fr:Processus_(informatique) dbpedia-fr:Ramasse-miettes_(informatique) dbpedia-fr:Robin_Milner dbpedia-fr:Routine_(informatique) dbpedia-fr:Thread_(informatique) dbpedia-fr:Type_(informatique) dbpedia-fr:Variable_(informatique) dbpedia-fr:JoCaml dbpedia-fr:Mise_en_œuvre dbpedia-fr:Module_(programmation) dbpedia-fr:Acute dbpedia-fr:Acute_(langage) dbpedia-fr:Code_Porteur_de_Preuves dbpedia-fr:Funnel_(langage) dbpedia-fr:Nomadic_Pict dbpedia-fr:Occam-π dbpedia-fr:Pict_programming_language
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:... dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:En_en
dct:subject	category-fr:Langage_de_programmation_théorique category-fr:Méthode_formelle
rdfs:comment	Le Pi-calcul (ou π-calcul) est un langage de programmation théorique inventé par Robin Milner. Ce langage occupe dans le domaine de l'informatique parallèle et distribuée un rôle similaire à celui du λ-calcul dans l'informatique classique. (fr) Le Pi-calcul (ou π-calcul) est un langage de programmation théorique inventé par Robin Milner. Ce langage occupe dans le domaine de l'informatique parallèle et distribuée un rôle similaire à celui du λ-calcul dans l'informatique classique. (fr)
rdfs:label	Càlcul pi (ca) Pi calcolo (it) Pi-Kalkül (de) Pi-calcul (fr) Π-calculus (en)
owl:sameAs	dbr:Π-calculus wikidata:Q602886 dbpedia-ca:Càlcul_pi dbpedia-de:Pi-Kalkül dbpedia-el:Λογισμός_π dbpedia-es:Cálculo_pi dbpedia-id:Kalkulus_pi dbpedia-it:Pi_calcolo dbpedia-ru:Пи-исчисление dbpedia-uk:Пі-числення dbpedia-zh:Π-演算 https://id.loc.gov/authorities/names/sh98004617 http://ma-graph.org/entity/87529345 http://g.co/kg/m/026ckf
prov:wasDerivedFrom	wikipedia-fr:Pi-calcul?oldid=188059925&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:Pi-calcul
is dbo:wikiPageRedirects of	dbpedia-fr:Π-calcul
is dbo:wikiPageWikiLink of	dbpedia-fr:Π-calcul dbpedia-fr:Algèbre_de_processus dbpedia-fr:Langage_de_programmation dbpedia-fr:Liste_de_langages_de_programmation dbpedia-fr:Liste_de_publications_importantes_en_informatique_théorique dbpedia-fr:Occam_(langage) dbpedia-fr:Parallélisme_(informatique) dbpedia-fr:Primitive_cryptographique dbpedia-fr:Prix_EATCS dbpedia-fr:Robin_Milner
is oa:hasTarget of	tag-fr:DeFrResource tag-fr:CaFrResource tag-fr:EnFrResource tag-fr:ItFrResource tag-fr:WdtFrResource
is foaf:primaryTopic of	wikipedia-fr:Pi-calcul