- -

Graph generation to statically represent CSP processes

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Graph generation to statically represent CSP processes

Show full item record

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

Files in this item

Item Metadata

Title: Graph generation to statically represent CSP processes
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: Complex concurrent systems , CSP specifications , Deterministic execution , Graph generation , Industrial projects , Specification and verification , Algorithms , Animation , Data structures , Logic programming , Specifications
Copyrigths: Reserva de todos los derechos
ISBN: 978-3-642-20550-7
Source:
Logic-Based Program Synthesis and Transformation. (issn: 0302-9743 )
DOI: 10.1007/978-3-642-20551-4_4
Publisher:
Springer Verlag (Germany)
Publisher version: http://link.springer.com/chapter/10.1007/978-3-642-20551-4_4
Conference name: 20th International Symposium, LOPSTR 2010
Conference place: Hagenberg, Austria
Conference date: July 23-25, 2010
Series: Lecture Notes in Computer Science;vol. 6564
Type: Capítulo de libro

This item appears in the following Collection(s)

Show full item record