calculo Pi

Π-cálculo

Contenido 1.

Introducción -Diego ................................................................... ............................................................................................................... ............................................ 2

2.

Marco Teórico ............................................................... ....................................................................................................................... ........................................................ 3 2.1 Definición Informal .................................................................. .............................................................................................................. ............................................ 3 2.2 Definición D efinición Formal ................................................................................................................ ................................................................................................................ 5

3.

Aplicaciones –JOSEPH .............................................................. ........................................................................................................... ............................................. 7

4.

Implementaciones -Raul................................................ -Raul........................................................................................................ ........................................................ 8

5.

Conclusiones – Deycarlo .......................................................... ....................................................................................................... ............................................. 9

6.

Bibliografía ..................................................................... .......................................................................................................................... ..................................................... 10

Titles you can't find anywhere else

Try Scribd FREE for 30 days to access over 125 million titles without ads or interruptions! Start Free Trial Cancel Anytime.





1. Introducción -Diego En ciencias de la computación teórica, el π-cálculo π -cálculo (o pi-cálculo) es un proceso de cálculo desarrollado originalmente por Robín Milner, Joachim Parrow y David Walker en 1992, basado en las ideas por Uffe Engberg y Mogens Nielsen. Puede ser visto como una continuación del trabajo de Milner en el proceso de cálculo de CCS (Cálculo de Sistemas de Comunicación). Comunicación). El π-cálculo π-cálculo permite nombres de los canales que van a comunicarse a lo largo de los propios canales, y de esta manera es capaz de describir cálculos concurrentes cuya configuración de la red puede cambiar durante el cálculo.

El π-cálculo es sencillo y elegante, pero muy expresivo. Los programas funcionales pueden ser codificados en el π-cálculo y la codificación hace hincapié en la naturaleza del diálogo de la computación, establecer conexiones con la semántica de juego. Extensiones de la π-cálculo, π-cálculo, tales como el SPI cálculo c álculo y aplicada π, han tenido éxito en el razonamiento acerca de los protocolos criptográficos. Junto al uso original en la descripción de sistemas concurrentes, el π-cálculo π-cálculo se ha utilizado también para razonar sobre los procesos de negocio y la biología molecular.





2. Marco Teórico 2.1 Definición Informal El π-cálculo π-cálculo pertenece a la familia de los cálculos de proceso, formalismos matemáticos para describir y analizar propiedades de cálculo concurrente. De hecho, el π-cálculo, π-cálculo, como el λ -cálculo, -cálculo, es tan mínimo que no contiene primitivas tales como números, booleanos, estructuras de datos, variables, funciones, o incluso las sentencias de control de flujo en uso (como si-entonces- más , mientras ).

2.1.1 Construcciones de proceso

Fundamental para el π-cálculo π -cálculo es la noción de nombre. nombre. La simplicidad del cálculo se encuentra en el doble papel que juegan como los nombres de los canales de comunicación y comunicación y las variables. variables. 



Concurrencia , por escrito ejecutados simultáneamente. L a comuni cación cación , donde 

prefijos de entrada

, donde

y

son dos procesos o subprocesos

es un proceso que está esperando un mensaje que

fue enviado en un canal de comunicación llamado antes de proceder como , unión recibió el nombre al nombre

. Típicamente, estos modelos sea un

proceso esperando una comunicación de la red o una una etiqueta c sólo puede utilizarse una vez por un c Goto operación. 

prefijar salida proceder como

describe que el nombre se emite en el canal antes de . Típicamente, estos modelos ya sea enviando un mensaje en

la red o un c Ir operación.





replicación , escrito , que puede ser visto como un proceso que siempre se puede crear una nueva copia de . Típicamente, estos modelos ya sea un servicio de red o una etiqueta c espera de cualquier número de goto c operaciones. creació creación n de un nu evo nombr e , po por escrito , que puede ser visto como un proceso de asignación de una nueva nueva constante dentro . Las constantes de πcálculo se definen únicamente por su nombre y siempre están los canales de comunicación. Creación de un nuevo nombre en un proceso que también se denomina restricción. restricción. el proceso nulo, escrito 0, es un proceso cuya ejecución se ha completado y se ha



calculo Pi

Recommend Documents