| 1993 |
|---|
| 4 | | Luis M. Alonso:
Using State Variables for the Specification and Verfication of TCSP Processes.
PARLE 1993: 541-552 |
| 3 | | Ricardo Pena,
Luis M. Alonso:
A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions.
TAPSOFT 1993: 328-342 |
| 1991 |
|---|
| 2 | | Luis M. Alonso,
Ricardo Pena:
Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems.
PARLE (2) 1991: 75-91 |
| 1989 |
|---|
| 1 | | Ricardo Pena,
Luis M. Alonso:
Specification and Verification of TCSP Systems by Means of Partial Abstract Data Types.
TAPSOFT, Vol.2 1989: 328-344 |
