| 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
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 31403 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdf:type
| |
| 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
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
