Estadísticas del PDF: Inferencia de Tipos de Sesión

Inferencia de Tipos de Sesión

Ernesto Copello

Facultad de Ingeniería

Universidad ORT Uruguay

Montevideo, Uruguay
[email protected]

Teléfono: +598 29021505

Resumen—El cálculo de Tipos de Sesión tal como es introdu-
cido en [1] estructura los programas en términos de procesos con-
currentes que se comunican estableciendo diálogos. Estos diálogos
pueden ser descriptos en forma abstracta mediante secuencias de
tipos de mensajes, cada uno de los cuales describe el formato y
dirección del mensa...