- -

Graph generation to statically represent CSP processes

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

Compartir/Enviar a

Citas

Estadísticas

Graph generation to statically represent CSP processes

Mostrar el registro completo del ítem

Llorens Agost, ML.; Oliver Villarroya, J.; Silva Galiana, JF.; Tamarit Muñoz, S. (2011). Graph generation to statically represent CSP processes. En Logic-Based Program Synthesis and Transformation. Springer Verlag (Germany). 6564:52-66. doi:10.1007/978-3-642-20551-4_4.

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

Ficheros en el ítem

Metadatos del ítem

Título: Graph generation to statically represent CSP processes
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: Complex concurrent systems , CSP specifications , Deterministic execution , Graph generation , Industrial projects , Specification and verification , Algorithms , Animation , Data structures , Logic programming , Specifications
Derechos de uso: Reserva de todos los derechos
ISBN: 978-3-642-20550-7
Fuente:
Logic-Based Program Synthesis and Transformation. (issn: 0302-9743 )
DOI: 10.1007/978-3-642-20551-4_4
Editorial:
Springer Verlag (Germany)
Versión del editor: http://link.springer.com/chapter/10.1007/978-3-642-20551-4_4
Título del congreso: 20th International Symposium, LOPSTR 2010
Lugar del congreso: Hagenberg, Austria
Fecha congreso: July 23-25, 2010
Serie: Lecture Notes in Computer Science;vol. 6564
Patrocinador:
Spanish Ministerio de Ciencia e Innovación [TIN2008-06622-C03-02]
Generalitat Valenciana [ACOMP/2010/042]
Universidad Politécnica de Valencia [Program PAID-06-08]
Spanish MICINN [BES-2009-015019]
Tipo: Capítulo de libro

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

Mostrar el registro completo del ítem