Collaborated with:R.Pena
Talks about:tcsp (2) techniqu (1) abstract (1) specifi (1) process (1) partial (1) system (1) specif (1) condit (1) verif (1)
Person: Luis M. Alonso
DBLP: Alonso:Luis_M=
Contributed to:
19891993Wrote 2 papers:
- CCIPL-1989-PenaA #data type #specification #verification
- Specification and Verification of TCSP Systems by Means of Partial Abstract Data Types (RP, LMA), pp. 328–344.
- TAPSOFT-1993-PenaA #liveness #process #specification #using
- A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions (RP, LMA), pp. 328–342.