LIBROS DEL AUTOR: howard bowman

1 resultados para LIBROS DEL AUTOR: howard bowman

howard bowman Eliminar filtro Quitar filtros
  • Concurrency Theory
    Howard Bowman / Rodolfo Gomez
    Background on Concurrency Theory.- Concurrency Theory - Untimed Models.- Process Calculi: LOTOS.- Basic Interleaved Semantic Models.- True Concurrency Models: Event Structures.- Testing Theory and the Linear Time - Branching Time Spectrum.- Concurrency Theory - Further Untimed Notations.- Beyond pbLOTOS.- Comparison of LOTOS with CCS and CSP.- Communicating Automata.- Concurren...
    Disponible

    170,00 €