Pi-calculus - definição. O que é Pi-calculus. Significado, conceito
Diclib.com
Dicionário ChatGPT
Digite uma palavra ou frase em qualquer idioma 👆
Idioma:

Tradução e análise de palavras por inteligência artificial ChatGPT

Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:

  • como a palavra é usada
  • frequência de uso
  • é usado com mais frequência na fala oral ou escrita
  • opções de tradução de palavras
  • exemplos de uso (várias frases com tradução)
  • etimologia

O que (quem) é Pi-calculus - definição

PROCESS CALCULUS
Pi-Calculus; Polyadic pi-calculus; P-calculus; Pi-calculus; Pi calculus; Π calculus

pi-calculus         
<theory> A process algebra in which channel names can act both as transmission medium and as transmitted data. Its basic atomic actions are individual point to point communications which are nondeterministically selected and globally sequentialised. [Details? Examples?] (1995-03-20)
P.I.         
WIKIMEDIA DISAMBIGUATION PAGE
Π (disambiguation); Π; Pi (song); PIs; Pí; P.i.; Pi.; P I
Personal injury
Felicific calculus         
ALGORITHM MEASURING THE AMOUNT OF PLEASURE THAT A SPECIFIC ACTION IS LIKELY TO CAUSE
Utility calculus; Hedonic calculus; Hedonic Calculus; Hedonistic calculus; Hedon (unit); Mathematics of philosophy; Hedons and dolor; Pleasure calculus; Utilitarian calculus
The felicific calculus is an algorithm formulated by utilitarian philosopher Jeremy Bentham (1747–1832) for calculating the degree or amount of pleasure that a specific action is likely to induce. Bentham, an ethical hedonist, believed the moral rightness or wrongness of an action to be a function of the amount of pleasure or pain that it produced.

Wikipédia

Π-calculus

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 § Syntax). 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.