Mostrar el registro sencillo del ítem

dc.contributor.author	Tamarit Muñoz, Salvador
dc.contributor.author	Silva Galiana, Josep Francesc
dc.contributor.author	Llorens Agost, María Luisa
dc.contributor.author	Oliver Villarroya, Francisco Javier
dc.date.accessioned	2010-06-07T12:46:49Z
dc.date.available	2010-06-07T12:46:49Z
dc.date.issued	2010-06-07T12:46:49Z
dc.identifier.uri	http://hdl.handle.net/10251/8397
dc.description.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 performed is usually very high, and sometimes prohibitive, due to the complexity imposed by the non-deterministic execution order of processes and to the restrictions imposed on this order by synchronizations. In this work, we define a data structure that allows us to statically simplify a specification before the analyses. This simplification can dras- tically reduce the time needed by many CSP analyses. We also introduce an algorithm able to automatically generate this data structure from a CSP specification. The algorithm has been proved correct and its implementation for the CSP's animator ProB is publicly available.	en_EN
dc.language	Inglés	en_EN
dc.publisher	Universitat Politècnica de València	es_ES
dc.rights	Reconocimiento - No comercial - Compartir igual (by-nc-sa)	en_EN
dc.subject	Csp	en_EN
dc.subject	Cscfg	en_EN
dc.subject	Semantics transformation	en_EN
dc.title	A Semantics to Generate the Context-sensitive Synchronized Control-Flow Graph (extended)	en_EN
dc.type	Informe	en_EN
dc.rights.accessRights	Abierto	es_ES
dc.contributor.affiliation	Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
dc.description.bibliographicCitation	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	es_ES

Ficheros en el ítem

Descargar (283.7Kb)

Tech_report_lop...2010.pdf

PDF

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

• Informes técnicos de investigación DSIC-MiST [1]
  MIST: Tecnología Software Multiparadigma

Mostrar el registro sencillo del ítem