LIBROS DEL AUTOR: flavio corradini

1 resultados para LIBROS DEL AUTOR: flavio corradini

flavio corradini Eliminar filtro Quitar filtros
  • A Process Algebraic Approach to Software Architecture Design
    Alessandro Aldini / Flavio Corradini / Marco Bernardo
    Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, ?-calculus, and their extensions (see, e.g., [154,119,112,22,155,181,30]) were soo...
    Disponible

    66,13 €