Model for distributed deadlock detection based on automata formalism

  1. Gonzalez de Mendivil, Jose R.
  2. Alastruey, Carlos F.
  3. Garitagoitia, Jose R.
Journal:
Advances in Modelling and Analysis A

ISSN: 0761-2532

Year of publication: 1994

Volume: 20

Issue: 2-4

Pages: 11-23

Type: Article