Acta Informatica, Volume 46

Volume 46, Number 1, February 2009

• Laura Bozzelli, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek:
  On decidability of LTL model checking for process rewrite systems. 1-28
  Electronic Edition (link) BibTeX
• Vince Bárány:
  Semi-synchronous transductions. 29-42
  Electronic Edition (link) BibTeX
• Rza Bashirov, Fabrice Kordon, Hüseyin Lort:
  Exploiting colored Petri nets to decide on permutation admissibility. 43-55
  Electronic Edition (link) BibTeX
• Amir M. Ben-Amram:
  A complexity tradeoff in ranking-function termination proofs. 57-72
  Electronic Edition (link) BibTeX
• Alex A. Aravind, Wim H. Hesselink:
  A queue based mutual exclusion algorithm. 73-86
  Electronic Edition (link) BibTeX