- -

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

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

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

Show full item record

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

Files in this item

Item Metadata

Title: A Semantics to Generate the Context-sensitive Synchronized Control-Flow Graph (extended)
Author:
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Abstract:
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 ...[+]
Subjects: Csp , Cscfg , Semantics transformation
Copyrigths: Reconocimiento - No comercial - Compartir igual (by-nc-sa)
Type: Informe

This item appears in the following Collection(s)

Show full item record