Redes de interacción

Las redes de interacción son un nivel bajo paradigma de cálculo gráfico primero propuesto por Yves Lafont y basado en redes de la prueba de Jean-Yves Girard para la lógica lineal. Un sistema de la red de interacción comprende: un grupo de agentes, cada uno con un puerto principal y cero o más puertos auxiliares; un conjunto de reglas entre agentes (hay como máximo una regla para cada par de agentes); y una red en la cual las reglas son aplicarse. Comparado con la sintaxis del término tradicional, las redes de interacción hacen cumplir la linealidad - cada recurso se usa exactamente una vez - de que podemos sacar la confluencia fuerte. Así, proporcionan una lengua natural al paralelismo masivo.

También están en el corazón del eficiente y óptimo, en sentido de Levy, evaluadores para el cálculo de la lambda disponible hoy.

Enlaces externos

Dibujo asistido en LÁTEX

http://www.fauskes.net/pgftikzexamples/interaction-nets/.

Software



Buscar