Volume 376, Numbers 1-2, May 2007

Developments in Language Theory

• 
  Oscar H. Ibarra: Developments in language theory. 1-2

Contributions

• 
  Andrzej Ehrenfeucht, Grzegorz Rozenberg: Events and modules in reaction systems. 3-16
• 
  Yuri Gurevich, Margus Veanes, Charles Wallace: Can abstract state machines be useful in language theory? 17-29
• 
  Dimitry S. Ananichev, Mikhail V. Volkov, Yu. I. Zaks: Synchronizing automata with a letter of deficiency 2. 30-41
• 
  Cédric Bastien, Jurek Czyzowicz, Wojciech Fraczak, Wojciech Rytter: Equivalence of simple functions. 42-51
• 
  Olivier Carton: The growth ratio of synchronous rational relations is unique. 52-59
• 
  Yo-Sub Han, Arto Salomaa, Kai Salomaa, Derick Wood, Sheng Yu: On the existence of prime decompositions. 60-69
• 
  Dalia Krieger: On critical exponents in fixed points of non-erasing morphisms. 70-88
• 
  Manfred Kufleitner: Polynomials, fragments of temporal logic and the variety DA over traces. 89-100
• 
  Martin Kutrib, Andreas Malcher: Context-dependent nondeterminism for pushdown automata. 101-111
• 
  Alexander Okhotin, Oksana Yakimova: Language equations with complementation: Decision problems. 112-126
• 
  Bala Ravikumar: On some variations of two-way probabilistic finite automata models. 127-136

Volume 376, Number 3, May 2007

Fundamental Aspects of Software Engineering Foreword

• 
  Maura Cerioli, Tiziana Margaria, Michel Wermelinger: Foreword. 137-138

Contributions

• 
  Juan de Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer: Attributed graph transformation with node type inheritance. 139-163
• 
  Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti: Automated compositional proofs for real-time systems. 164-184
• 
  Gruia-Catalin Roman, Christine Julien, Jamie Payton: Modeling adaptive behaviors in Context UNITY. 185-204
• 
  David A. Naumann: Observational purity and encapsulation. 205-224