Theoretical Computer Science, Volume 189

Volume 189, Numbers 1-2, 15 December 1997

• Damian Niwinski:
  Fixed Point Characterization of Infinite Behavior of Finite-State Systems. 1-69
  
• Luc Bougé, David Cachera, Yann Le Guyadec, Gil Utard, Bernard Virot:
  Formal Validation of Data-Parallel Programs: A Two-Component Assertional Proof System for a Simple Language. 71-107
  
• Hans-Dieter Burkhard:
  Fairness and Control in Multi-Agent Systems. 109-127
  
• Thomas Eiter, Georg Gottlob, Nicola Leone:
  Abduction from Logic Programs: Semantics and Complexity. 129-177
  
• Patrice Brémond-Grégoire, Insup Lee:
  A Process Algebra of Communicating Shared Resources with Dense Time and Priorities. 179-219
  
• Mohamed Mezghiche:
  c-beta-Machine with lambda-beta-Reduction. 221-228
  
• Anne Bergeron:
  On the Rational Behaviors of Concurrent Timers. 229-237
  
• Serafino Cicerone, Francesco Parisi-Presicce:
  On the Complexity of Specification Morphisms. 239-248