Typechecking safe process synchronization

Session types describe the interactions between two parties within multi-party communications. They constitute a communication protocol in the sense that the order and type of interactions between two parties are specified. For their part, correspondence assertions provide a mechanism for synchroniz...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Bonelli, Eduardo, Compagnoni, Adriana, Gunter, Elsa
Formato: Articulo
Lenguaje:Inglés
Publicado: 2005
Materias:
Ciencias Informáticas
π-calculus
Concurrency
Type systems
Typechecking
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/83379
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares