Modular composition of session types
Magíster en Ciencias, Mención Computación === Ingeniero Civil en Computación === En el campo de los sistemas distribuidos, lograr la coordinación entre diversas unidades de cómputo y sub-sistemas es una tarea compleja, pues cada unidad de computo se comporta distinta a las demás, de forma concurrent...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | es |
| Published: |
Universidad de Chile
2016
|
| Subjects: | |
| Online Access: | http://repositorio.uchile.cl/handle/2250/137828 |