A Transformation to Provide Deadlock-Free Programs

Lecture Notes in Computer Science - Computational Science — ICCS 2003 ◽

10.1007/3-540-44862-4_101 ◽

2003 ◽

pp. 935-944 ◽

Author(s):

Pablo Boronat ◽

Vicente Cholvi

Download Full-text