LUIS
ALONSO ROMERO
Researcher in the period 1996-2011
Universidad Complutense de Madrid
Madrid, EspañaPublications in collaboration with researchers from 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)