Diferencias

Muestra las diferencias entre dos versiones de la página.

Enlace a la vista de comparación

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
 
materias/cmcd.txt · Última modificación: 2015/01/28 17:17 por crueda
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki