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 | ||