- -

A Semantics to Generate the Context-sensitive Synchronized Control-Flow Graph (extended)

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

A Semantics to Generate the Context-sensitive Synchronized Control-Flow Graph (extended)

Mostrar el registro completo del ítem

Tamarit Muñoz, S.; Silva Galiana, JF.; Llorens Agost, ML.; Oliver Villarroya, FJ. (2010). A Semantics to Generate the Context-sensitive Synchronized Control-Flow Graph (extended). http://hdl.handle.net/10251/8397.

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/8397

Ficheros en el ítem

Metadatos del ítem

Título: A Semantics to Generate the Context-sensitive Synchronized Control-Flow Graph (extended)
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
The CSP language allows the specification and verification of complex concurrent systems. Many analyses for CSP exist that have been successfully applied in different industrial projects. However, the cost of the analyses ...[+]
Palabras clave: Csp , Cscfg , Semantics transformation
Derechos de uso: Reconocimiento - No comercial - Compartir igual (by-nc-sa)
Tipo: Informe

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem