Sunday, May 22, 2016

π-calculus

π-calculus

From Wikipedia, the free encyclopedia
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 is elegantly simple, it has very few terms and so is a very small language [2], yet very expressive. 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.

Contents

Informal definition

The π-calculus belongs to the family of process calculi, mathematical formalisms for describing and analyzing properties of concurrent computation. In fact, the π-calculus, like the λ-calculus, is so minimal that it does not contain primitives such as numbers, booleans, data structures, variables, functions, or even the usual control flow statements (such as if-then-else, while).


Dana Edwards https://en.wikipedia.org/wiki/Petri_net#Petri_net_basics
A Petri net (also known as a place/transition net or P/T net) is one of several mathematical modeling languages for the description of distributed systems. A Petri net is a directed bipartite graph, in which the nodes represent transitions (i.e. events that may occur, represented by bars) and places...
en.wikipedia.org
Dana Edwards
Dana Edwards "The π-calculus is elegantly simple, it has very few terms and so is a very small language [2], yet very expressive. Functional programs can be encoded into the π-calculus, and the encoding emphasises the dialogue nature of computation, drawing connect...Ver más
" el cálculo pi es simple y elegante, tiene muy pocos términos y así que es una muy pequeña lengua [2], Pero muy expresivo. Programas funcionales pueden ser codificado en el d-Cálculo, y la codificación hace hincapié en el diálogo, la naturaleza de la computación, dibujo conexiones con juego semántica. Extensiones de la d-Tornasol, tales como el spi tornasol y aplicada ii, han tenido éxito en su razonamiento sobre protocolos de cifrado. Al lado del uso original en que describe los sistemas concurrentes, el d-Cálculo también se ha utilizado para razonar sobre los procesos de negocio y biología molecular."Traducido automáticamente
Dana Edwards
Dana Edwards "A Petri net (also known as a place/transition net or P/T net) is one of several mathematical modeling languages for the description of distributed systems. A Petri net is a directed bipartite graph, in which the nodes represent transitions (i.e. event...Ver másVer traducción
Zlil Kedem
Zlil Kedem
יופי. מעניין ת'תחת. רבי נחמן והבעש"ט ואבו עלפיה ידעו זאת מזמן. למי איכפת?
אוהד אני אוהבת אותך בבקשה תגיד לי שאינך הומוסקסואל.... סליחה על החוצפה מעולם לא עשיתי כאלה דברים אבל העולם קם לאש ומים של שמש חדשה יוקדת לא בשנאה אלא באהבת חינם ומעולם לא הערכתי
...Ver más
Ver traducción
Dana Edwards
Dana Edwards Petrinet allows you to model distributed systems. This is useful and something like it could be useful for Tau. Pi-calculus lets you reason about the nature of computation and is also a modeling language but might be more expressive.Ver traducción
Dana Edwards

No comments: