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
  
• Vince Bárány:
  Semi-synchronous transductions. 29-42
  
• Rza Bashirov, Fabrice Kordon, Hüseyin Lort:
  Exploiting colored Petri nets to decide on permutation admissibility. 43-55
  
• Amir M. Ben-Amram:
  A complexity tradeoff in ranking-function termination proofs. 57-72
  
• Alex A. Aravind, Wim H. Hesselink:
  A queue based mutual exclusion algorithm. 73-86
  

Volume 46, Number 2, April 2009

• Roland Meyer:
  A theory of structural stationarity in the pi -Calculus. 87-137
  
• Joost Engelfriet:
  The time complexity of typechecking tree-walking tree transducers. 139-154
  
• K. Subramani, Hong-Jian Lai, Xiaofeng Gu:
  Random walks for selected boolean implication and equivalence problems. 155-168
  

Volume 46, Number 3, May 2009

• Zdenek Sawa, Petr Jancar:
  Hardness of equivalence checking for composed finite-state systems. 169-191
  
• Cezar Câmpeanu, Nicolae Santean:
  On the closure of pattern expressions languages under intersection with regular languages. 193-207
  
• Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
  Liveness of a mutex algorithm in a fair process algebra. 209-235
  
• Eike Best, Philippe Darondeau:
  A decomposition theorem for finite persistent transition systems. 237-254
  

Volume 46, Number 4, July 2009

• Achim D. Brucker, Burkhart Wolff:
  Semantics, calculi, and analysis for object-oriented specifications. 255-284
  
• Kamilla Klonowska, Lars Lundberg, Håkan Lennerstad:
  The maximum gain of increasing the number of preemptions in multiprocessor scheduling. 285-295
  
• José Enrique Armendáriz-Iñigo, José Ramón González de Mendívil, José Ramón Garitagoitia, Francesc D. Muñoz-Escoí:
  Correctness proof of a database replication protocol under the perspective of the I/O automaton model. 297-330
  

Volume 46, Number 5, August 2009

• Davide Bresolin, Angelo Montanari, Gabriele Puppis:
  A theory of ultimately periodic languages and automata with an application to time granularity. 331-360
  
• Gabriel Ciobanu, Sergiu Rudeanu:
  Final and sequential behaviours of M-automata. 361-374
  
• Jan A. Bergstra, C. A. Middelburg:
  Machine structure oriented control code logic. 375-401