LUIS
ALONSO ROMERO
Investigador en el periodo 1986-1996
![Foto de LUIS](/img/nophoto.png)
![Foto de Universitat Politècnica de Catalunya](/img/noimage_org.png)
Universitat Politècnica de Catalunya
Barcelona, EspañaPublicaciones en colaboración con investigadores/as de Universitat Politècnica de Catalunya (2)
1991
-
Acceptance automata: A framework for specifying and verifying TCSP parallel systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1989
-
Specification and verification of TCSP systems by means of partial abstract data types
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)