New Methods for Deadlock Prevention and Avoidance in Concurrent Systems (bibtex)

by Fernando Tricas and Fernando García-Vallés and José-Manuel Colom

Reference:

New Methods for Deadlock Prevention and Avoidance in Concurrent Systems (Fernando Tricas and Fernando García-Vallés and José-Manuel Colom), In Actas de las VIII Jornadas de Concurrencia, Ediciones de la Universidad de Castilla-La Mancha, 2000.

Bibtex Entry:

@InProceedings{Tricas2000a,
  author    = {Fernando Tricas and Fernando Garc{\'{\i}}a{-}Vall{\'{e}}s and Jos{\'{e}}-Manuel Colom and Joaqu{\'{\i}}n Ezpeleta},
  booktitle = {Actas de las VIII Jornadas de Concurrencia},
  title     = {New Methods for Deadlock Prevention and Avoidance in Concurrent Systems},
  year      = {2000},
  address   = {Cuenca, Espa\~na},
  month     = {June},
  pages     = {97--110},
  publisher = {Ediciones de la Universidad de Castilla-La Mancha},
  groups    = {silarri:6},
  isbn      = {84-8427-074-2},
  keywords  = {Petri Net Structure Theory, Resource Allocation Systems, Petri Net Analysis, Petri Net Synthesis, Petri Net Control},
}