---
_id: '5940'
article_processing_charge: No
author:
- first_name: Gabriel
  full_name: Juhás, Gabriel
  last_name: Juhás
- first_name: Igor
  full_name: Kazlov, Igor
  id: 4A997E50-F248-11E8-B48F-1D18A9856A87
  last_name: Kazlov
- first_name: Ana
  full_name: Juhásová, Ana
  last_name: Juhásová
citation:
  ama: 'Juhás G, Kazlov I, Juhásová A. Instance Deadlock: A Mystery behind Frozen
    Programs. In: <i>Applications and Theory of Petri Nets</i>. Berlin, Heidelberg:
    Springer Berlin Heidelberg; 2010:1-17. doi:<a href="https://doi.org/10.1007/978-3-642-13675-7_1">10.1007/978-3-642-13675-7_1</a>'
  apa: 'Juhás, G., Kazlov, I., &#38; Juhásová, A. (2010). Instance Deadlock: A Mystery
    behind Frozen Programs. In <i>Applications and Theory of Petri Nets</i> (pp. 1–17).
    Berlin, Heidelberg: Springer Berlin Heidelberg. <a href="https://doi.org/10.1007/978-3-642-13675-7_1">https://doi.org/10.1007/978-3-642-13675-7_1</a>'
  chicago: 'Juhás, Gabriel, Igor Kazlov, and Ana Juhásová. “Instance Deadlock: A Mystery
    behind Frozen Programs.” In <i>Applications and Theory of Petri Nets</i>, 1–17.
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. <a href="https://doi.org/10.1007/978-3-642-13675-7_1">https://doi.org/10.1007/978-3-642-13675-7_1</a>.'
  ieee: 'G. Juhás, I. Kazlov, and A. Juhásová, “Instance Deadlock: A Mystery behind
    Frozen Programs,” in <i>Applications and Theory of Petri Nets</i>, Berlin, Heidelberg:
    Springer Berlin Heidelberg, 2010, pp. 1–17.'
  ista: 'Juhás G, Kazlov I, Juhásová A. 2010.Instance Deadlock: A Mystery behind Frozen
    Programs. In: Applications and Theory of Petri Nets. , 1–17.'
  mla: 'Juhás, Gabriel, et al. “Instance Deadlock: A Mystery behind Frozen Programs.”
    <i>Applications and Theory of Petri Nets</i>, Springer Berlin Heidelberg, 2010,
    pp. 1–17, doi:<a href="https://doi.org/10.1007/978-3-642-13675-7_1">10.1007/978-3-642-13675-7_1</a>.'
  short: G. Juhás, I. Kazlov, A. Juhásová, in:, Applications and Theory of Petri Nets,
    Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 1–17.
date_created: 2019-02-08T09:33:41Z
date_published: 2010-01-01T00:00:00Z
date_updated: 2022-04-01T13:45:24Z
doi: 10.1007/978-3-642-13675-7_1
extern: '1'
language:
- iso: eng
oa_version: None
page: 1-17
place: Berlin, Heidelberg
publication: Applications and Theory of Petri Nets
publication_identifier:
  isbn:
  - '9783642136740'
  - '9783642136757'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
publisher: Springer Berlin Heidelberg
status: public
title: 'Instance Deadlock: A Mystery behind Frozen Programs'
type: book_chapter
user_id: 4A997E50-F248-11E8-B48F-1D18A9856A87
year: '2010'
...