Pablo Boronat

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2003

2 Pablo Boronat, Vicent Cholvi: A Transformation to Provide Deadlock-Free Programs. International Conference on Computational Science 2003: 935-944

2001

1 Vicent Cholvi, Pablo Boronat: A minimal property for characterizing deadlock-free programs. Inf. Process. Lett. 77(5-6): 283-290 (2001)

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

Coauthor Index

1 Vicent Cholvi (Vicent Cholvi-Juan) [1] [2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page