Muestra las diferencias entre dos versiones de la página.
materias:cmcd [2015/01/28 17:15] crueda [Bibliography] |
materias:cmcd [2015/01/28 17:17] (actual) crueda [Topics] |
||
---|---|---|---|
Línea 52: | Línea 52: | ||
- Lenguages: concurrent Java, Scoop | - Lenguages: concurrent Java, Scoop | ||
- Applications | - Applications | ||
+ | * Reasoning about concurrency | ||
+ | - Model checking: Spin | ||
+ | - Process calculus: CSP | ||
* Distributed Programming | * Distributed Programming | ||
- Distribution of data | - Distribution of data |