Luis
Alonso Romero
Investigador hasta 2011
![Foto de Luis](/img/nophoto.png)
![Foto de Universidad Complutense de Madrid](/img/noimage_org.png)
Universidad Complutense de Madrid
Madrid, EspañaPublicaciones en colaboración con investigadores/as de Universidad Complutense de Madrid (1)
1993
-
A technique for specifying and refining TCSP processes by using guards and liveness conditions
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)