e/P-calculus

New Query

Information
has glosseng: In theoretical computer science, the \pi-calculus is a process calculus originally developed by Robin Milner, and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems). The aim of the \pi-calculus is to be able to describe concurrent computations whose configuration may change during the computation.
lexicalizationeng: P-calculus
lexicalizationeng: Pi calculus
lexicalizationeng: Pi-Calculus
instance ofe/Formal methods
Meaning
German
has glossdeu: π-Kalkül ist ein Prozesskalkül, das von Robin Milner als Nachfolger von seinem Calculus of Communicating Systems (CCS) entwickelt wurde.
lexicalizationdeu: Pi-Kalkül
French
has glossfra: Le Pi-calcul (ou π-calcul) est un langage de programmation théorique inventé par Robin Milner. Ce langage occupe dans le domaine de linformatique parallèle et distribuée un rôle similaire à celui du λ-calcul dans linformatique classique.
lexicalizationfra: Pi-calcul
Indonesian
has glossind: Kalkulus π adalah kalkulus proses yang dikembangkan oleh Robin Milner sebagai kelanjutan dari CCS (Calculus of Communicating Systems). Tujuan kalkulus π adalah untuk menggambarkan komputasi concurrent yang dapat berubah.
lexicalizationind: Kalkulus pi
Castilian
has glossspa: En la ciencia de computación teórica, el 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.
lexicalizationspa: Calculo Pi
lexicalizationspa: Cálculo Pi
Ukrainian
has glossukr: В теорії комп'ютерних наук, π-числення є численням процесів, розроблене Робіном Мілнером , Ійохімом Перроу та Девідом Волкером в якості розширення та розвитку роботи над численням процесів CCS . На меті створення π-числення є надання можливості описання конкурентних процесів, конфігурація яких може змінюватись під час роботи.
lexicalizationukr: Пі числення
lexicalizationukr: Пі-числення

Query

Word: (case sensitive)
Language: (ISO 639-3 code, e.g. "eng" for English)


Lexvo © 2008-2025 Gerard de Melo.   Contact   Legal Information / Imprint