Information and Computation, Volume 195

Volume 195, Number 1-2, 15-25 November 2004

• Alain Finkel, Pierre McKenzie, Claudine Picaronny:
  A well-structured framework for analysing petri net extensions. 1-29
  
• Volker Diekert, Paul Gastin:
  Local temporal logic is expressively complete for cograph dependence alphabets. 30-52
  
• Leah Epstein, Rob van Stee:
  Minimizing the maximum starting time on-line. 53-65
  
• Bas Luttik, Piet Rodenburg, Rakesh M. Verma:
  Remarks on Thatte's transformation of term rewriting systems. 66-87