On characterizing K-Deadlock-Free programs

• Pablo Boronat ^[1] ; Vicent Cholvi ^[1]
  1. [1] Universitat Jaume I

     Universitat Jaume I

     Castellón, España

     
• Localización: VII Jornadas de Concurrencia: Actas de las séptimas Jornadas de Concurrencia, Gandía, junio de 1999 / coord. por Josep M. Bernabeu Aubán , Pietro Manzoni , Jordi Bataller Mascarell , Vicente Cholvi Juan , Pablo Galdámez Saiz , Francesc Daniel Muñoz Escoí , 1999, págs. 61-67
• Idioma: inglés
• Texto completo no disponible (Saber más ...)