| |
| 2003 | ||
|---|---|---|
| 2 | EE | Pablo Boronat, Vicent Cholvi: A Transformation to Provide Deadlock-Free Programs. International Conference on Computational Science 2003: 935-944 |
| 2001 | ||
| 1 | EE | Vicent Cholvi, Pablo Boronat: A minimal property for characterizing deadlock-free programs. Inf. Process. Lett. 77(5-6): 283-290 (2001) |
| 1 | Vicent Cholvi (Vicent Cholvi-Juan) | [1] [2] |