Communicating sequential processes (CSP) Más sobre especificación de requisitos temporales. Operadores temporales: espera inactiva, prefijación temporizada y timeout.
No download links available.
