- -

Static slicing of explicitly synchronized languages

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by


Static slicing of explicitly synchronized languages

Show full item record

Leuschel ., M.; Llorens Agost, ML.; Oliver Villarroya, J.; Silva Galiana, JF.; Tamarit Muñoz, S. (2012). Static slicing of explicitly synchronized languages. Information and Computation. 214:10-46. doi:10.1016/j.ic.2012.02.005

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

Files in this item

Item Metadata

Title: Static slicing of explicitly synchronized languages
Author: Leuschel ., Michael Llorens Agost, María Luisa Oliver Villarroya, Javier Silva Galiana, Josep Francesc Tamarit Muñoz, Salvador
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:
Static analysis of concurrent languages is a complex task due to the non-deterministic execution of processes. If the concurrent language being studied allows process synchronization, then the analyses are even more complex ...[+]
Subjects: Concurrent programming , CSP , Program slicing
Copyrigths: Reserva de todos los derechos
Information and Computation. (issn: 0890-5401 )
DOI: 10.1016/j.ic.2012.02.005
Publisher version: http://dx.doi.org/10.1016/j.ic.2012.02.005
This work has been partially supported by the Spanish Ministerio de Economia y Competitividad (Secretaria de Estado de Investigacion, Desarrollo e Innovacion) under grant TIN2008-06622-C03-02 and by the Generalitat Valenciana ...[+]
Type: Artículo

This item appears in the following Collection(s)

Show full item record