Π-calculus (original) (raw)
En la ciència de computació teòrica, el càlcul-π és una notació desenvolupada originalment per Robin Milner, Joachim Parrow i David Walker, com un avanç sobre el per tal de proveir mobilitat a la modelització concurrent. El càlcul-π està ubicat dins de la família dels anomenats càlculs de procés, els quals han estat utilitzats per modelar els llenguatges de programació concurrent, de la mateixa manera que el càlcul-λ, ha estat utilitzat per modelar els llenguatges de .
| Property | Value |
|---|---|
| dbo:abstract | En la ciència de computació teòrica, el càlcul-π és una notació desenvolupada originalment per Robin Milner, Joachim Parrow i David Walker, com un avanç sobre el per tal de proveir mobilitat a la modelització concurrent. El càlcul-π està ubicat dins de la família dels anomenats càlculs de procés, els quals han estat utilitzats per modelar els llenguatges de programació concurrent, de la mateixa manera que el càlcul-λ, ha estat utilitzat per modelar els llenguatges de . (ca) Στην επιστήμη υπολογιστών ο Λογισμός π (αγγλ. π-Calculus) αποτελεί μια υποκατηγορία του και έχει ως στόχο όπως και ο Λογισμός Διεργασιών την τυπική μοντελοποίηση και μελέτη παράλληλων συστημάτων. Αναπτύχθηκε το 1992 από τους Robin Milner, Joachim Parrow και David Walker και μπορεί να θεωρηθεί η συνέχεια της δουλειάς του Milner πάνω στο λογισμό διεργασιών με τίτλο "Calculus of Communicating Systems". (el) Der Pi-Kalkül (π-Kalkül) ist ein Prozesskalkül, der von Robin Milner, Joachim Parrow und David Walker in den 1990er Jahren als Nachfolger des Calculus of Communicating Systems (CCS) entwickelt wurde. Mit dem Pi-Kalkül können nebenläufige Systeme, die sich während der Laufzeit ändern, beschrieben werden. Trotz seiner einfachen Syntax ist er sehr expressiv. Es lassen sich funktionale Programmierungen darin ausdrücken. Erweiterungen wie der spi-Kalkül und „applied π“ wurden erfolgreich zur Brechung von Verschlüsselungsprotokollen eingesetzt. Ein Anwendungszweck dieser Art von Verfahren ist die Simulation von Nebenläufigkeiten wie zum Beispiel Threads oder Prozessen auf Mehrkernprozessoren, weil bei der Programmierung von Software, welche diese Funktionalität nutzt, komplexe Randbedingungen ins Spiel kommen, die mittels einer solchen Simulation leichter in den Griff zu bekommen sind. Weitere Anwendungszwecke haben sich in der Molekularbiologie und zur Geschäftsprozessmodellierung ergeben. (de) En la ciencia de computación teórica, el cálculo pi ( o π-cálculo) es una notación desarrollada originalmente por Robin Milner, Joachim Parrow y David Walker, como un avance sobre el cálculo de sistemas comunicantes con el fin de proveer movilidad al modelado concurrente. (es) 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) Kalkulus π adalah kalkulus proses yang dikembangkan oleh Robin Milner sebagai kelanjutan dari CCS. Tujuan kalkulus π adalah untuk menggambarkan komputasi concurrent yang dapat berubah. (in) 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 has few terms and is a small, yet expressive language (see ). 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. (en) Il pi calcolo, o π-calcolo è un sistema formale che descrive e analizza le proprietà della computazione di tipo concorrente.Inizialmente sviluppato da Robin Milner, e come proseguimento del lavoro già svolto sul CCS, rispetto ai formalismi precedenti il pi calcolo è in grado di descrivere la concorrenza anche in sistemi la cui configurazione può cambiare nel tempo, dato che permette comunicazione di nomi di canali sugli stessi canali. (it) -исчисление в теоретической информатике — исчисление процессов, изначально разработанное Робином Милнером, и Дэвидом Уокером как продолжение работы над исчислением общающихся систем. Целью -исчисления является возможность описать параллельные вычисления, конфигурация которых может меняться на протяжении вычисления. (ru) 在计算机科学中，π-演算（pi-演算，英语：π-calculus，pi-calculus）是一套进程演算的形式系统，最早由Robin Milner、Joachim Parrow和于1992年在的基础上设计而成。 (zh) В теорії комп'ютерних наук, π-числення є численням процесів, розроблене Робіном Мілнером (англ. Robin Milner), Ійохімом Перроу (англ. Joachim Parrow) та (англ. David Walker) як розширення та розвиток роботи над численням процесів CCS (англ. Calculus of Communicating Systems). На меті створення π-числення є надання можливості описання , конфігурація яких може змінюватись під час роботи. (uk) |
| dbo:wikiPageExternalLink | http://www.proverif.ens.fr/ http://www.lfcs.inf.ed.ac.uk/reports/91/ECS-LFCS-91-180/ECS-LFCS-91-180.ps%7Cyear=1993%7Cpublisher=Springer-Verlag%7Cchapter=The https://www.soe.ucsc.edu/~abadi/Papers/isss02.pdf http://www.cryptyc.org https://archive.org/details/communicatingmob00robi |
| dbo:wikiPageID | 420373 (xsd:integer) |
| dbo:wikiPageLength | 31403 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1092730250 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:ProVerif dbr:Robin_Milner dbr:Join-calculus dbr:Ehud_Shapiro dbr:Cryptographic_protocol dbr:Process_calculi dbr:Theoretical_computer_science dbr:Turing_complete dbr:Aviv_Regev dbr:Truth_value dbr:Game_semantics dbr:Receptor_tyrosine_kinase dbc:Process_calculi dbc:Theoretical_computer_science dbr:Abstract_syntax dbr:JoCaml dbr:Lambda_calculus dbr:Bisimulation dbr:Business_Process_Modeling_Language dbr:Business_process dbr:Guard_(computer_science) dbr:Calculus_of_Communicating_Systems dbr:Process_calculus dbr:Occam-π dbr:Evaluation_strategy dbr:Molecular_biology dbr:Martin_Abadi dbr:Pict_programming_language dbr:BNF_grammar dbr:Lambda-calculus dbr:MAPK dbr:Concurrent_computation dbr:Sara_Kalvala |
| dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:Cite_book dbt:Mvar dbt:Pi dbt:Reflist dbt:Section_link dbt:See_also dbt:Short_description dbt:Concurrent_computing |
| dcterms:subject | dbc:Process_calculi dbc:Theoretical_computer_science |
| rdf:type | owl:Thing yago:WikicatSpecificationLanguages yago:Ability105616246 yago:Abstraction100002137 yago:Cognition100023271 yago:Communication100033020 yago:Know-how105616786 yago:Language106282651 yago:Method105660268 yago:PsychologicalFeature100023100 yago:WikicatFormalMethods |
| rdfs:comment | En la ciència de computació teòrica, el càlcul-π és una notació desenvolupada originalment per Robin Milner, Joachim Parrow i David Walker, com un avanç sobre el per tal de proveir mobilitat a la modelització concurrent. El càlcul-π està ubicat dins de la família dels anomenats càlculs de procés, els quals han estat utilitzats per modelar els llenguatges de programació concurrent, de la mateixa manera que el càlcul-λ, ha estat utilitzat per modelar els llenguatges de . (ca) Στην επιστήμη υπολογιστών ο Λογισμός π (αγγλ. π-Calculus) αποτελεί μια υποκατηγορία του και έχει ως στόχο όπως και ο Λογισμός Διεργασιών την τυπική μοντελοποίηση και μελέτη παράλληλων συστημάτων. Αναπτύχθηκε το 1992 από τους Robin Milner, Joachim Parrow και David Walker και μπορεί να θεωρηθεί η συνέχεια της δουλειάς του Milner πάνω στο λογισμό διεργασιών με τίτλο "Calculus of Communicating Systems". (el) En la ciencia de computación teórica, el cálculo pi ( o π-cálculo) es una notación desarrollada originalmente por Robin Milner, Joachim Parrow y David Walker, como un avance sobre el cálculo de sistemas comunicantes con el fin de proveer movilidad al modelado concurrente. (es) 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) Kalkulus π adalah kalkulus proses yang dikembangkan oleh Robin Milner sebagai kelanjutan dari CCS. Tujuan kalkulus π adalah untuk menggambarkan komputasi concurrent yang dapat berubah. (in) Il pi calcolo, o π-calcolo è un sistema formale che descrive e analizza le proprietà della computazione di tipo concorrente.Inizialmente sviluppato da Robin Milner, e come proseguimento del lavoro già svolto sul CCS, rispetto ai formalismi precedenti il pi calcolo è in grado di descrivere la concorrenza anche in sistemi la cui configurazione può cambiare nel tempo, dato che permette comunicazione di nomi di canali sugli stessi canali. (it) -исчисление в теоретической информатике — исчисление процессов, изначально разработанное Робином Милнером, и Дэвидом Уокером как продолжение работы над исчислением общающихся систем. Целью -исчисления является возможность описать параллельные вычисления, конфигурация которых может меняться на протяжении вычисления. (ru) 在计算机科学中，π-演算（pi-演算，英语：π-calculus，pi-calculus）是一套进程演算的形式系统，最早由Robin Milner、Joachim Parrow和于1992年在的基础上设计而成。 (zh) В теорії комп'ютерних наук, π-числення є численням процесів, розроблене Робіном Мілнером (англ. Robin Milner), Ійохімом Перроу (англ. Joachim Parrow) та (англ. David Walker) як розширення та розвиток роботи над численням процесів CCS (англ. Calculus of Communicating Systems). На меті створення π-числення є надання можливості описання , конфігурація яких може змінюватись під час роботи. (uk) Der Pi-Kalkül (π-Kalkül) ist ein Prozesskalkül, der von Robin Milner, Joachim Parrow und David Walker in den 1990er Jahren als Nachfolger des Calculus of Communicating Systems (CCS) entwickelt wurde. Mit dem Pi-Kalkül können nebenläufige Systeme, die sich während der Laufzeit ändern, beschrieben werden. Trotz seiner einfachen Syntax ist er sehr expressiv. Es lassen sich funktionale Programmierungen darin ausdrücken. Erweiterungen wie der spi-Kalkül und „applied π“ wurden erfolgreich zur Brechung von Verschlüsselungsprotokollen eingesetzt. (de) 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. (en) |
| rdfs:label | Càlcul pi (ca) Pi-Kalkül (de) Λογισμός π (el) Cálculo pi (es) Kalkulus pi (in) Pi-calcul (fr) Pi calcolo (it) Пи-исчисление (ru) Π-calculus (en) Π-演算 (zh) Пі-числення (uk) |
| rdfs:seeAlso | dbr:Bisimulation |
| owl:sameAs | freebase:Π-calculus wikidata:Π-calculus dbpedia-ca:Π-calculus dbpedia-de:Π-calculus dbpedia-el:Π-calculus dbpedia-es:Π-calculus dbpedia-fr:Π-calculus dbpedia-id:Π-calculus dbpedia-it:Π-calculus dbpedia-ru:Π-calculus dbpedia-uk:Π-calculus dbpedia-zh:Π-calculus https://global.dbpedia.org/id/4n8Q9 |
| prov:wasDerivedFrom | wikipedia-en:Π-calculus?oldid=1092730250&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Π-calculus |
| is dbo:wikiPageDisambiguates of | dbr:Calculus_(disambiguation) |
| is dbo:wikiPageRedirects of | dbr:Pi-Calculus dbr:P-calculus dbr:Polyadic_pi-calculus dbr:Pi_calculus dbr:Pi-calculus dbr:Π_calculus |
| is dbo:wikiPageWikiLink of | dbr:Andrew_D._Gordon dbr:Join-pattern dbr:List_of_University_of_Edinburgh_people dbr:Information_and_Computation dbr:List_of_programming_languages_by_type dbr:Concurrent_computing dbr:Nu_(letter) dbr:Ehud_Shapiro dbr:Concurrency_(computer_science) dbr:Continuation-passing_style dbr:Cryptographic_primitive dbr:Cryptographic_protocol dbr:Process_architecture dbr:Pict_(programming_language) dbr:Aviv_Regev dbr:Actor_model dbr:Service_choreography dbr:API-Calculus dbr:Systems_biology dbr:Pi-Calculus dbr:Pi_(disambiguation) dbr:Occam_(programming_language) dbr:Calculus_(disambiguation) dbr:Process_calculus dbr:SPI dbr:Occam-π dbr:P-calculus dbr:Polyadic_pi-calculus dbr:Pi_calculus dbr:Pi-calculus dbr:Π_calculus |
| is foaf:primaryTopic of | wikipedia-en:Π-calculus |